@dibblego It is sensible. Monads give denotational semantics to mutable refs. What semantics could State have that are "more equational?"
-
@dibblego ? My straw man is "State is pure because it's in haskell." To you, pure is wrt expressions, thats fine. I offer no defn for "pure"
@takeoutweight It is not even possible for this to make sense. I implore you to try. This is just a miscategorisation of concepts.
-
-
@dibblego You are arguing my straw man. If its nonsensical that's fine by me. I want to provoke a ref for "pure" in the literature thats all -
@takeoutweight Then why mention irrelevant things as "State" and "monad"? There is no straw man, there is context. - 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.