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@yminsky Found it! http://blog.jle.im/entry/the-compromiseless-reconciliation-of-i-o-and-purity …1 reply 0 retweets 3 likes -
Replying to @missingfaktor
@missingfaktor@igstan@yminsky This article misrepresents the relevant concepts.1 reply 0 retweets 0 likes -
Replying to @dibblego2 replies 0 retweets 0 likes
-
Replying to @missingfaktor1 reply 1 retweet 1 like
-
Replying to @dibblego
@dibblego@missingfaktor@igstan Hmmm. Strident though the tone is, it still seems wrong and confused.1 reply 0 retweets 0 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.