3 ms·
Monads have so little pretension these days, you'd think they were the salt of the earth. Working classes, for working people.
by mjburgess 12y ago
Monads have so little pretension these days, you'd think they were the salt of the earth. Working classes, for working people.
- chriswarbo 12y agoMonads were pretentious in the '90s. The pretention switched over to Arrows in the '00s and to Algebraic Effects in the '10s ;)
- mjburgess 12y agoYeah, Arrows is my "next thing".
- jerf 12y agoYou may not want to bother. Their luster has faded as it has been determined they were a particularly complicated way of representing Applicative + Category: http://just-bottom.blogspot.de/2010/04/programming-with-effects-story-so-far.html http://just-bottom.blogspot.de/2010/04/programming-with-effe... In theory there's nothing necessarily wrong with them but I think the consensus is that in practice you're better off understanding Applicative (very simple) and Category (also very simple), and then freely combining those however you need to accomplish things, rather than trying to use Arrow (surprisingly complicated). By contrast, both Applicative and Category as very, very useful.