7 ms·
> decided to explain its working by coming up with a metaphor involving record-players and records that are designed to physically break the record-players they
by floatboth 8y ago
> decided to explain its working by coming up with a metaphor involving record-players and records that are designed to physically break the record-players they’re played on
Wait... I've seen this style of explanation somewhere...
M O N A D T U T O R I A L S
- thanatropism 8y agoAs I've heard it explained, monads are simply monoids on the category of endofunctors, or something. (I know what monoids are in group theory, and have a vague glimpse that functors are maps between categories. I figure that endofunctors are functors from a category to itself; how they come to be their own category or how monoids even apply, well.)