Comment on Can functional programming be liberated from the von Neumann paradigm? (2010)parentComments−gamegoblin11yThe only way you're breaking functional purity is by doing IO, which none of those suggestions are doing.−jberryman11yThe point of `IO` is that using it doesn't break referential transparency.−SilasX11ySeveral of them write to a file or store state in one. That's impurity, even if done "nicely".It just feels like saying "don't talk to the outside world that way, do it this way".−jdiez1711yThe only part where I suggested to store a monad in a file is when I proposed it as a way of pausing a computation and resuming its execution at a later point in time. My mistake for mentioning the word "file", but I meant it in the abstract sense.
Comments
The only way you're breaking functional purity is by doing IO, which none of those suggestions are doing.
The point of `IO` is that using it doesn't break referential transparency.
Several of them write to a file or store state in one. That's impurity, even if done "nicely".
It just feels like saying "don't talk to the outside world that way, do it this way".
The only part where I suggested to store a monad in a file is when I proposed it as a way of pausing a computation and resuming its execution at a later point in time. My mistake for mentioning the word "file", but I meant it in the abstract sense.