(no commit message)

[lambda.git] / topics / _week8_reader_monad.mdwn

diff --git a/topics/_week8_reader_monad.mdwn b/topics/_week8_reader_monad.mdwn
index 9266ab3..b48a4c4 100644 (file)
--- a/topics/_week8_reader_monad.mdwn
+++ b/topics/_week8_reader_monad.mdwn
@@ -24,7 +24,7 @@ This meant
 changing the type of their input from ints to int options.  But we
 didn't need to do this piecemeal; rather, we could "lift" the ordinary
 arithmetic operations into the monad using the various tools provided
 changing the type of their input from ints to int options.  But we
 didn't need to do this piecemeal; rather, we could "lift" the ordinary
 arithmetic operations into the monad using the various tools provided

-by the monad.  
+by the monad.  We'll go over this lifting operation in detail in the next section.

 
 ## Tracing the effect of safe-div on a larger computation
 
 
 ## Tracing the effect of safe-div on a larger computation
 


@@ -149,7 +149,7 @@ is the ⇧ and the map2 function from the notes on safe division:
           | Some y -> Some (g x y));;
 
 Then we lift the entire computation into the monad by applying ⇧ to
           | Some y -> Some (g x y));;
 
 Then we lift the entire computation into the monad by applying ⇧ to

-the integers, and by applying `map1` to the operators:
+the integers, and by applying `map2` to the operators:

 
 <pre>
 \tree ((((map2 +) (⇧1)) (((map2 *) (((map2 /) (⇧6)) (⇧0))) (⇧4))))
 
 <pre>
 \tree ((((map2 +) (⇧1)) (((map2 *) (((map2 /) (⇧6)) (⇧0))) (⇧4))))