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 @missingfaktor
@missingfaktor @igstan @yminsky yeah but not on Twitter. The author clearly misunderstands IO though.
12:57 PM - 3 Jan 2014
0 replies
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.