X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2F_week8_reader_monad.mdwn;h=9266ab349dd10c316686c0a59bd204c28ae7d4f1;hp=557bd2f911ef675c96888ebba642733c189744b9;hb=81869b1be2718d071cc9686019af691642616ba4;hpb=0dbabab6a530251142a18a6fc2de5c2cb4f731f2 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