Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on What Color Is Your Monad.
Monad is a generalization (as a type-class, which is the particular way of defining an ADT) of an type-level abstraction barrier.
It comes from untyped math which has "structural" notions, such as Monoid, and, indeed Monad could be viewed as a Monoid.
There is nothing more "deep" or "profound" in there, and the whole mass hysteria is similar to those when Java came out.
There are no comments on this comment yet.
Monad is a generalization (as a type-class, which is the particular way of defining an ADT) of an type-level abstraction barrier.
It comes from untyped math which has "structural" notions, such as Monoid, and, indeed Monad could be viewed as a Monoid.
There is nothing more "deep" or "profound" in there, and the whole mass hysteria is similar to those when Java came out.