←back to thread

A list is a monad

(alexyorke.github.io)
153 points polygot | 1 comments | 29 Jun 25 17:53 UTC | HN request time: 0.205s | source
Show context
daxfohl ◴[02 Jul 25 16:52 UTC] No.44445979[source]▶
Nit, in Haskell it's a MonadPlus. Which IIRC is a monad that supports filtering.
replies(1): >>44446346 #
1. ChadNauseam ◴[02 Jul 25 17:21 UTC] No.44446346[source]▶
In Haskell List is a Monad as well as MonadPlus. Since List's Monad instance is used probably 100x more than its MonadPlus instance, I think it makes sense to focus on that,