- : int option = Some 2
</pre>
- The parentheses is the magic for telling Ocaml that the
- function to be defined (in this case, the name of the function
- is `*`, pronounced "bind") is an infix operator, so we write
- `m * f` or `( * ) m f` instead of `* m f`.
+The parentheses is the magic for telling Ocaml that the
+function to be defined (in this case, the name of the function
+is `*`, pronounced "bind") is an infix operator, so we write
+`m * f` or `( * ) m f` instead of `* m f`.
* Associativity: bind obeys a kind of associativity, like this:
- (m * f) * g == m * (fun x -> f x * g)
+ `(m * f) * g == m * (fun x -> f x * g)`
- If you don't understand why the lambda form is necessary, you need
- to look again at the type of bind. This is important.
+ If you don't understand why the lambda form is necessary (the "fun
+ x" part), you need to look again at the type of bind.
For an illustration of associativity in the option monad:
- : int option = Some 3
</pre>
- Of course, associativity must hold for arbitrary functions of
- type `'a -> M 'a`, where `M` is the monad type. It's easy to
- convince yourself that the bind operation for the option monad
- obeys associativity by dividing the inputs into cases: if `m`
- matches `None`, both computations will result in `None`; if
- `m` matches `Some n`, and `f n` evalutes to `None`, then both
- computations will again result in `None`; and if the value of
- `f n` matches `Some r`, then both computations will evaluate
- to `g r`.
+Of course, associativity must hold for arbitrary functions of
+type `'a -> M 'a`, where `M` is the monad type. It's easy to
+convince yourself that the bind operation for the option monad
+obeys associativity by dividing the inputs into cases: if `m`
+matches `None`, both computations will result in `None`; if
+`m` matches `Some n`, and `f n` evalutes to `None`, then both
+computations will again result in `None`; and if the value of
+`f n` matches `Some r`, then both computations will evaluate
+to `g r`.
* Right identity: unit is a right identity for bind. That is,
`m * unit == m` for all monad objects `m`. For instance,