Keean Schupke

Then we get an arbitrary split, some functions are pure and some functions are impure. I can only call pure functions from pure functions but I can call either from...

> Seems to me we can't do your monadic idea unless we do it every where. But am I correct it will only add overhead to calls to functions which...

> If we are forced to have your monadic system every where, then why should all functions be impure and in the IO monad by default? Because we may want...

@shelby3 okay well I think a zero argument function should be executed... it is not the same things as a value. Scala got this wrong :-)

@shelby3 It may fail due to lack of memory. A value is a value like '4' or '7'. A function has a value which is the set of symbols for...

refresh again.

We can analyse this further. The only time a pure function is really pure is when all the inputs are known at compile time (in which case you can treat...

Of course if a function has no side effects, and no arguments, it must be a const value (IE the compiler can replace the function with its value at compile...

@shelby3 regarding monads and impurity: if we start with all functions being pure, then we need a way to manage impurity. If we consider an arrow is just a binary...

> So it seems to what you want to do is as I stated there? A state monad only stores a specific bit of state. In the case of an...