@takeoutweight @mwotton That many people misuse a term, as you are doing, is not reasonable permission to reject its useful context.
-
@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.
-
-
@dibblego@takeoutweight what is the formally described concept, fwiw? -
@psygnisfive@takeoutweight Equational reasoning. - Show replies
New conversation -
-
-
@dibblego OK np. Just saying monads were intro'd to CS by Moggi precisely to give denotational semantics (+ eq reasoning) to mutable refs. -
@takeoutweight A useful tool to get there, but not an essential one or even a relevant one ultimately.
End of conversation
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.