X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2F_week8_reader_monad.mdwn;h=2e7ede8ac5bdf8b8d9ee9565a67a57e0b6fcce4a;hp=d317d24691d2b49cff44a1ccc8d1838c69072984;hb=d1b82e795c985012df8298926eec35b5a2cc49b6;hpb=c753a08ea5f96badbb8e1c7f3a8f7fd174d53bde;ds=sidebyside diff --git a/topics/_week8_reader_monad.mdwn b/topics/_week8_reader_monad.mdwn index d317d246..2e7ede8a 100644 --- a/topics/_week8_reader_monad.mdwn +++ b/topics/_week8_reader_monad.mdwn @@ -151,6 +151,7 @@ is the ⧠and the map2 function from the notes on safe division: Then we lift the entire computation into the monad by applying ⧠to the integers, and by applying `map1` to the operators: +
\tree ((((map2 +) (â§1)) (((map2 *) (((map2 /) (â§6)) (â§0))) (â§4)))) ___________________ @@ -164,6 +165,7 @@ map2 + â§1 _____|_____ â§4 ___|____ â§0 | | map2 / â§6 +With these adjustments, the faulty computation now completes smoothly: @@ -316,6 +318,7 @@ is the ⧠and the map2 function from the notes on safe division: Then we lift the entire computation into the monad by applying ⧠to the integers, and by applying `map1` to the operators: +
\tree ((((map2 +) (â§1)) (((map2 *) (((map2 /) (â§6)) (â§0))) (â§4)))) ___________________ @@ -329,6 +332,7 @@ map2 + â§1 _____|_____ â§4 ___|____ â§0 | | map2 / â§6 +With these adjustments, the faulty computation now completes smoothly: