projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
4b1834a
)
edits
author
Chris Barker
<barker@omega.(none)>
Sat, 27 Nov 2010 05:02:45 +0000
(
00:02
-0500)
committer
Chris Barker
<barker@omega.(none)>
Sat, 27 Nov 2010 05:02:45 +0000
(
00:02
-0500)
zipper-lists-continuations.mdwn
patch
|
blob
|
history
diff --git
a/zipper-lists-continuations.mdwn
b/zipper-lists-continuations.mdwn
index
ed822f8
..
0ef9436
100644
(file)
--- a/
zipper-lists-continuations.mdwn
+++ b/
zipper-lists-continuations.mdwn
@@
-295,13
+295,14
@@
instantiate the type of the list' monad using the Ocaml list type:
type 'a c_list = ('a -> 'a list) -> 'a list
type 'a c_list = ('a -> 'a list) -> 'a list
-Have we really discovered that lists are secretly continuations?
-
Or
have we merely found a way of simulating lists using list
+Have we really discovered that lists are secretly continuations?
Or
+have we merely found a way of simulating lists using list
continuations? Both perspectives are valid, and we can use our
intuitions about the list monad to understand continuations, and vice
continuations? Both perspectives are valid, and we can use our
intuitions about the list monad to understand continuations, and vice
-versa. The connections will be expecially relevant when we consider
-indefinites and Hamblin semantics on the linguistic side, and
-non-determinism on the list monad side.
+versa (not to mention our intuitions about primitive recursion in
+Church numerals too). The connections will be expecially relevant
+when we consider indefinites and Hamblin semantics on the linguistic
+side, and non-determinism on the list monad side.
Refunctionalizing zippers
-------------------------
Refunctionalizing zippers
-------------------------