projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
5e53f11
)
edits
author
Chris Barker
<barker@kappa.linguistics.fas.nyu.edu>
Mon, 1 Nov 2010 14:03:21 +0000
(10:03 -0400)
committer
Chris Barker
<barker@kappa.linguistics.fas.nyu.edu>
Mon, 1 Nov 2010 14:03:21 +0000
(10:03 -0400)
week7.mdwn
patch
|
blob
|
history
diff --git
a/week7.mdwn
b/week7.mdwn
index
78a4150
..
d3e4b47
100644
(file)
--- 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: