This HN comment on my blog post about monadic IO is absolutely fantastic: https://news.ycombinator.com/item?id=9459006
-
-
.
@noelwelsh I think it says something deep that a reductio ad absurdum argument from a pure FP context yields idiomatic pure OO. -
@avibryant IIUC this style is called a "final coalgebra" and it's kinda the next station along the rabbit-hole from free monads.
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.