From 505704532a701f9e2ffad2ab7af9e028fdabef3f Mon Sep 17 00:00:00 2001 From: Chris Barker Date: Mon, 1 Nov 2010 10:26:20 -0400 Subject: [PATCH] edits --- week7.mdwn | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/week7.mdwn b/week7.mdwn index 8daff8a0..fe9bedb8 100644 --- a/week7.mdwn +++ b/week7.mdwn @@ -367,7 +367,7 @@ them from hurting the people that use them or themselves. * **Left identity: unit is a left identity for the bind operation.** That is, for all `f:'a -> 'a m`, where `'a m` is a monadic - type, we have `(unit x) * f == f x`. For instance, `unit` is itself + type, we have `(unit x) >>= f == f x`. For instance, `unit` is itself a function of type `'a -> 'a m`, so we can use it for `f`: # let unit x = Some x;; @@ -377,8 +377,8 @@ them from hurting the people that use them or themselves. 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 - `u * f` or `( * ) u f` instead of `* u f`. Now: + is `>>=`, pronounced "bind") is an infix operator, so we write + `u >>= f` or equivalently `( >>= ) u f` instead of `>>= u f`. Now: # unit 2;; - : int option = Some 2 -- 2.11.0