From b9ab5e640cf6ead61cd72c4a484dd55d239a2bb5 Mon Sep 17 00:00:00 2001 From: Chris Barker Date: Sat, 27 Nov 2010 00:02:45 -0500 Subject: [PATCH] edits --- zipper-lists-continuations.mdwn | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/zipper-lists-continuations.mdwn b/zipper-lists-continuations.mdwn index ed822f88..0ef94364 100644 --- 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 -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 -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 ------------------------- -- 2.11.0