@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.
-
@dibblego It is sensible. Monads give denotational semantics to mutable refs. What semantics could State have that are "more equational?"
@takeoutweight Kleisli is a profunctor, therefore, "pure" is meaningless. Similarly ridiculous statement.
-
-
@dibblego Anyway if we agree "pure" is meaningless here and it's a term used only informally without a formal treatment we have no quarrel -
@takeoutweight it is a synonym for a formally described concept. No I don't agree. You are misusing way too many terms to solicit agreement. - 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.