projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
89f14f0
)
edits
author
Chris Barker
<barker@omega.(none)>
Sat, 27 Nov 2010 05:00:09 +0000
(
00:00
-0500)
committer
Chris Barker
<barker@omega.(none)>
Sat, 27 Nov 2010 05:00:09 +0000
(
00:00
-0500)
zipper-lists-continuations.mdwn
patch
|
blob
|
history
diff --git
a/zipper-lists-continuations.mdwn
b/zipper-lists-continuations.mdwn
index
a2603db
..
0eb3128
100644
(file)
--- a/
zipper-lists-continuations.mdwn
+++ b/
zipper-lists-continuations.mdwn
@@
-275,7
+275,7
@@
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 =
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)
+
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
</pre>
How similar is it to the List monad? Let's examine the type