SML with refs hidden behind a monadic interface is as pure as haskell. Without types, it's obviously impure. Why doesn't that settle it?
@igstan @missingfaktor I could of course, deploy the free monad in Java and use equational reasoning.
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
SML with refs hidden behind a monadic interface is as pure as haskell. Without types, it's obviously impure. Why doesn't that settle it?
@igstan @missingfaktor I could of course, deploy the free monad in Java and use equational reasoning.