←back to thread

A list is a monad

(alexyorke.github.io)
153 points polygot | 2 comments | 29 Jun 25 17:53 UTC | HN request time: 0.431s | source
Show context
mikelitoris ◴[02 Jul 25 17:56 UTC] No.44446800[source]▶
A list is like a burrito
replies(1): >>44448019 #
1. zahlman ◴[02 Jul 25 19:46 UTC] No.44448019[source]▶
It's just a loust in the category of endosequences.
replies(1): >>44449212 #
2. accoil ◴[02 Jul 25 21:49 UTC] No.44449212[source]▶
I think that was the article that made me actually try to understand "A monad is just a monoid in the category of endofunctors". Researching "endofunctor" helped significantly more than any of the analogies floating around at the time.