From: chris Date: Mon, 30 Mar 2015 01:57:50 +0000 (-0400) Subject: (no commit message) X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=81869b1be2718d071cc9686019af691642616ba4;ds=sidebyside --- diff --git a/topics/_week8_reader_monad.mdwn b/topics/_week8_reader_monad.mdwn index 557bd2f9..9266ab34 100644 --- a/topics/_week8_reader_monad.mdwn +++ b/topics/_week8_reader_monad.mdwn @@ -19,8 +19,8 @@ The starting point was to allow the division function to return an int option instead of an int. If we divide 6 by 2, we get the answer Just 3. But if we divide 6 by 0, we get the answer Nothing. -The next step was to adjust the other arithmetic functions to know how -to handle receiving Nothing instead of a (boxed) integer. This meant +The next step was to adjust the other arithmetic functions to teach them what to do if they received Nothing instead of a boxed integer. +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