I need a pedagogical method by which to debunk the common idea that IO is special when it comes to pure FP programs.
@ben_h @jonsterling impure = violation of the ability to perform equational reasoning ↚ IO.
-
-
@dibblego Try renaming IO to something else? Ppl conflate "I/O happens" with a notion of the IO value somehow "happening", being impureThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@dibblego Any kind of opaque modal context will block equational reasoning, eg. ... /cc@puffnfresh@ben_h@jonsterling -
@dibblego ... Lois Lane believes: "Superman flies"; Superman == Clark Kent; => Lois Lane believes: "Clark Kent flies" /cc@puffnfresh@ben_h - 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.