Commit 56b57146 authored by Alan H's avatar Alan H

Fix error in monad tutorial

parent c0aad0b3
Pipeline #80960852 passed with stage
in 5 minutes and 4 seconds
......@@ -204,7 +204,7 @@ in `None`{.ocaml}. In other words, `f`{.ocaml} can change the "shape" of the
option.
Notice the nested `option`{.ocaml}s in `int option option`{.ocaml}. In general,
if `f : 'a -> 'b t`{.ocaml} and `x : 'a`{.ocaml}, then
if `f : 'a -> 'b t`{.ocaml} and `x : 'a t`{.ocaml}, then
`map f x : 'b t t`{.ocaml}. Instead of bind, a monad can be defined in terms of
`join : 'a t t -> 'a t`{.ocaml}. The essence of a monad is the ability to
*flatten* values. Indeed, another name for monadic bind is flatmap, which is
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment