This HN comment on my blog post about monadic IO is absolutely fantastic: https://news.ycombinator.com/item?id=9459006
-
-
@avibryant IIUC this style is called a "final coalgebra" and it's kinda the next station along the rabbit-hole from free monads.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@avibryant So yes, go deep enough in FP and you pop out in OO. Which is, well, surprising.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@avibryant@noelwelsh For bonus points: I have a theory that FRP and MVC are inverses of each otherThanks. Twitter will use this to make your timeline better. UndoUndo
-
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.