(alexyorke.github.io)

153 points polygot | 3 comments | 29 Jun 25 17:53 UTC | HN request time: 1.638s | source

1. mikelitoris ◴[02 Jul 25 17:56 UTC] No.44446800[source]▶

A list is like a burrito

replies(1): >>44448019 #

2. zahlman ◴[02 Jul 25 19:46 UTC] No.44448019[source]▶

>>44446800 (TP) #

It's just a loust in the category of endosequences.

replies(1): >>44449212 #

3. accoil ◴[02 Jul 25 21:49 UTC] No.44449212[source]▶

>>44448019 #

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.

↑

A list is a monad