Tony Morris

@dibblego OK np. Just saying monads were intro'd to CS by Moggi precisely to give denotational semantics (+ eq reasoning) to mutable refs.

@dibblego Probably trying to fit too many points into a 140 char quip. I just want to suggest "impure" things can have good eq reasoning too

@takeoutweight "$LANG/$DATATYPE/$INTERFACE is(not) pure" is as sensible as "Triangles do (not) boil at 51°C", which is incoherent.

@dibblego @takeoutweight it’s not incoherent, it’s simply false. triangles *don’t* boil at 51ºC

@psygnisfive @takeoutweight It's not false, not even false.

@dibblego @takeoutweight sure it is. its simply just false.

@psygnisfive @takeoutweight Not all grammatically correct sentences are either true or false.

@dibblego @takeoutweight that is a subject of some debate, and has been for a very long time. :)