So weird, on the front page at the same time as this: "Biology is a burrito"

When I saw that link it immediately reminded me of this: https://blog.plover.com/prog/burritos.html

>Monads are like burritos

And then a few links down is this link to monad tutorials.

Weird coincidence.

It's an updating wiki.. but (2017) https://news.ycombinator.com/item?id=15170328

Popular well.. submissions in:

2019 (3 points) https://news.ycombinator.com/item?id=19207241

2022 (3 points) https://news.ycombinator.com/item?id=30277518

2024 (11 points) https://news.ycombinator.com/item?id=40332349

Pretty cool!

I've spent a lot of time wrapping my head around monads; whenever I thought I "got it," I would come across some exotic monad that completely blew my mind. The best way to understand them is not to rely on analogies but just follow the rules—everybody says that, but it took me a while to truly realize it.

See, for example, the Tardis monad or the Cont monad: https://www.reddit.com/r/haskell/comments/446d13/exotic_mona...