From 1690318d1a76220c9524ae083bf101e349bffac0 Mon Sep 17 00:00:00 2001 From: Chris Barker Date: Mon, 1 Nov 2010 10:03:21 -0400 Subject: [PATCH] edits --- week7.mdwn | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/week7.mdwn b/week7.mdwn index 78a41506..d3e4b47d 100644 --- a/week7.mdwn +++ b/week7.mdwn @@ -6,6 +6,10 @@ Towards Monads: Safe division [This section used to be near the end of the lecture notes for week 6] +We begin by reasoning about what should happen when someone tries to +divide by zero. This will lead us to a general programming technique +called a *monad*, which we'll see in many guises in the weeks to come. + Integer division presupposes that its second argument (the divisor) is not zero, upon pain of presupposition failure. Here's what my OCaml interpreter says: -- 2.11.0