Anupam 《ミ》λ≡ on Nostr: A nice example of why having unrestricted side effects is bad - ...

A nice example of why having unrestricted side effects is bad - http://mlton.org/ValueRestriction.

This "value restriction" is an extra cognitive overhead on the programmer because not being able to distinguish between pure and impure values means that the compiler can't distinguish between safe and unsafe code and thus ends up banning both

#FunctionalProgramming