←back to thread

A list is a monad

(alexyorke.github.io)
153 points polygot | 1 comments | | HN request time: 0.203s | source
Show context
robinhouston ◴[] No.44445900[source]
I expect the author has done this knowingly, but the title is rather painful for a mathematician to read.

A list is not a monad. List is a monad. A list is an algebra for the List monad.

replies(3): >>44445994 #>>44446493 #>>44448322 #
1. leoh ◴[] No.44445994[source]
I appreciate you mentioning this because I think it’s actually an important point