Discussion
#Monads are like burritos
https://blog.plover.com/prog/burritos.html
> A monad is a special kind of a functor. A functor F takes each type T and maps it to a new type FT. A burrito is like a functor: it takes a type, like meat or beans, and turns it into a new type, like beef burrito or bean burrito.
Here's a comic strip version:
https://chrisdone.com/posts/monads-are-burritos/
If you think a out it, that last post made a burrito out of the text version.
But before you get mad at me!
« #Monads are not like burritos»
https://byorgey.github.io/blog/posts/2025/06/16/monads-are-not-burritos.html
> Of course there are lots of people who still understand that it was all just a silly joke. Recently, however, I’ve seen several instances where people apparently believe “monads are burritos” is a real, helpful thing and not just a joke meme. For example, see this thread on lobste.rs, or this Mastodon post
> So, to set the record straight: “monads are burritos” is not a helpful analogy! Why not, you ask?
A space for Bonfire maintainers and contributors to communicate
