Assume that it is a black box to you, even though it is a white box to me.
Every time you call read() on it - you get a different result. It has side-effects.
This violates the “purity” of Mathematics.
Re:Ask HN: How to self-study physics?
by diegoperini on Thursday March 26, 2020 @03:51PM
(#22697231)
I just explained three different models to represent side-effects without leaving the purity. I'm not sure if you are trolling, throwing random big words or simply have a really misguided impression about how computer science connects with math.
Your monad(WorldState, Value) example assumes shared global state. So not a networked system then?
That's not a train-smash for your argument if you can show me a Mathematical model for a global mutex.
When the discussion turns to control-flow you are inevitably in the land of well-ordered imperatives, not Mathematical, lazy-evaluated declaratives.
I'm definitely not an expert but aren't irrational numbers are the best examples to show that these types of constructs already exist in math? You can't calculate them in finite amount of time. You use an analytical formula or series expansions to get the nth term instead.