Tony Morris

If the State Monad counts as pure I have a mutable ML memory location with monadic semantics to sell you

@takeoutweight If it isn't pure, then nothing that allows function calls can be. *shrug*

@mwotton pure is a subjective value judgement afaict. Or perhaps "operating only on persistent data structures" would be closest to a defn

@takeoutweight http://hackage.haskell.org/package/mtl-1.1.0.2/docs/src/Control-Monad-State-Lazy.html#State … operates only on persistent data structures, though. so it can't be the defn you're looking for.

@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.

@dibblego @mwotton What's the reference for the proper usage of the term? It seems to be used mostly as branding like "OO"