projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
25c4a39
)
edits
author
Chris Barker
<barker@omega.(none)>
Sat, 27 Nov 2010 04:59:49 +0000
(23:59 -0500)
committer
Chris Barker
<barker@omega.(none)>
Sat, 27 Nov 2010 04:59:49 +0000
(23:59 -0500)
zipper-lists-continuations.mdwn
patch
|
blob
|
history
diff --git
a/zipper-lists-continuations.mdwn
b/zipper-lists-continuations.mdwn
index
f0a252e
..
a2603db
100644
(file)
--- a/
zipper-lists-continuations.mdwn
+++ b/
zipper-lists-continuations.mdwn
@@
-245,7
+245,7
@@
Ta da!
To bad this digression, though it ties together various
elements of the course, has *no relevance whatsoever* to the topic of
To bad this digression, though it ties together various
elements of the course, has *no relevance whatsoever* to the topic of
-continuations.
+continuations.
..
Montague's PTQ treatment of DPs as generalized quantifiers
----------------------------------------------------------
Montague's PTQ treatment of DPs as generalized quantifiers
----------------------------------------------------------
@@
-271,10
+271,12
@@
the bind follow naturally. We've done this enough times that we won't
belabor the construction of the bind function, the derivation is
similar to the List monad just given:
belabor the construction of the bind function, the derivation is
similar to the List monad just given:
- type 'a continuation = ('a -> 'b) -> 'b
- c_unit (x:'a) = fun (p:'a -> 'b) -> p x
- c_bind (u:('a -> 'b) -> 'b) (f: 'a -> ('c -> 'd) -> 'd): ('c -> 'd) -> 'd =
- fun (k:'a -> 'b) -> u (fun (x:'a) -> f x k)
+<pre>
+type 'a continuation = ('a -> 'b) -> 'b
+c_unit (x:'a) = fun (p:'a -> 'b) -> p x
+c_bind (u:('a -> 'b) -> 'b) (f: 'a -> ('c -> 'd) -> 'd): ('c -> 'd) -> 'd =
+fun (k:'a -> 'b) -> u (fun (x:'a) -> f x k)
+</pre>
How similar is it to the List monad? Let's examine the type
constructor and the terms from the list monad derived above:
How similar is it to the List monad? Let's examine the type
constructor and the terms from the list monad derived above: