[LogicUpgrade]

Every pure function is part of a bigger machine that's eventually mutable state, or by definition that pure function has no reason to exist. Ergo, cache invalidation is hard.

[Dylan16807]

I don't follow. Being part of a bigger machine isn't proof that it's hard.

[coldtea]

>Every pure function is part of a bigger machine that's eventually mutable state, or by definition that pure function has no reason to exist

Not necessarily. The universe could be just one huge pure function.

[kevincox]

But the universe is constantly changing. So you will need to know the specific bits of the universe that your function depends on or you will never get a hit.

[_y5hn]

Is the universe changing, or just your references to it?

[LogicUpgrade]

So the references are mutable. Gotcha.

[_y5hn]

Aye, functional core, imperative shell (us!).

[breischl]

Ha, I guess it's possible. But if that's true then it seems that some of the intermediate steps in "public static void universe()" use mutable state that can result in cache invalidation difficulties.