add/update monad code

[lambda.git] / topics / _week8_reader_monad.mdwn

diff --git a/topics/_week8_reader_monad.mdwn b/topics/_week8_reader_monad.mdwn
index 9266ab3..af47b3d 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))))


@@ -654,4 +654,4 @@ what is happening in world 2, where Cam doesn't leave.
  (using bind), and the non-intersective adjectives will take
  intensional arguments.
 
  (using bind), and the non-intersective adjectives will take
  intensional arguments.
 

-
+notes: cascade, general env