Conversation
Notices
-
kat (boneidol@indy.im)'s status on Wednesday, 30-May-2018 22:57:44 UTC kat [Maybe a] -> Maybe [a] -- Magic! -
kat (boneidol@indy.im)'s status on Wednesday, 30-May-2018 23:03:14 UTC kat Like how do syntax in Haskell is *exactly* the same as list comprehensions. 'cos like Lists are monads. But the explanation for lists is that the "x <- X" is described as x is a member of the list X, like in maths when you go 'x is a member of X' using epsilon to show membership. But in monads it means ... shove X through a monad stripper, to get the thing before doing stuff and wrapping it back in the monad again.
Or something like that.
-