How Does The Maybe Monad Relate To The Option Type?
- by Onorio Catenacci
I was doing a presentation on F# and was discussing the Option type when someone in the audience asked me if the Option type is F#'s implementation of the maybe monad. I know that's not the case but I did want to ask how the two concepts are related. I mean it seems to me that an option type might be the result of the operation of a maybe monad but I'm not even sure of that.
Would someone elucidate the relationship between the maybe monad and the option type in those functional languages which support it?