If the State Monad counts as pure I have a mutable ML memory location with monadic semantics to sell you
-
@mwotton I'm not happy w it but being charitable as it admits State but rejects ML ref cells. 'purity' is going on the buzzword list for now
@takeoutweight @mwotton That many people misuse a term, as you are doing, is not reasonable permission to reject its useful context.
-
-
-
@takeoutweight@mwotton An expression is pure if equational reasoning is preserved. Now show me where the State monad fails this. - Show replies
New conversation -
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.