←back to thread

A list is a monad

(alexyorke.github.io)
153 points polygot | 1 comments | | HN request time: 0.241s | source
1. ivanjermakov ◴[] No.44447836[source]
Misunderstanding of Monads is such an interesting phenomenon. Kind of similar to grasping 4D geometry or understanding the difference between a class and an object in OOP.

List can be an instance of a monad, i.e. a monadic type.

I think the trick to understanding monads is to see what benefits monad interface gives to the types that implement it.