"you gotta understand basics of pattern matching before you start writing monad instances," I grumble to myself as I remove the "monad" tag from another stackoverflow question that has nothing to do with monads
FWIW instance Monad Maybe where (=<<) f = maybe Nothing f I've written the equivalent of that in languages that don't have pattern-matching.
-
-
and for any language with lambda expressions: bind = λm k. m m k given the following constructors for maybe: just = λx. λn j. j x nothing = λn j. n
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.