projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
051c4bc
)
edits
author
Chris Barker
<barker@omega.(none)>
Sat, 27 Nov 2010 04:52:30 +0000
(23:52 -0500)
committer
Chris Barker
<barker@omega.(none)>
Sat, 27 Nov 2010 04:52:30 +0000
(23:52 -0500)
zipper-lists-continuations.mdwn
patch
|
blob
|
history
diff --git
a/zipper-lists-continuations.mdwn
b/zipper-lists-continuations.mdwn
index
581cdf4
..
0f0662f
100644
(file)
--- a/
zipper-lists-continuations.mdwn
+++ b/
zipper-lists-continuations.mdwn
@@
-62,6
+62,11
@@
an environment. So we end up as follows:
And we're done.
+[This bind is a simplified version of the careful `let a = u e in ...`
+constructions we provided in earlier lectures. We use the simplified
+versions here in order to emphasize similarities of structure across
+monads; the official bind is still the one with the plethora of `let`'s.]
+
The **State Monad** is similar. We somehow intuit that we want to use
the following type constructor: