X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=from_lists_to_continuations.mdwn;h=8c84dfbd367e78bed1586d002b2fd2bd897031de;hp=f2e6989d14e362e2f9b10e2c5d5d07b08da49ae7;hb=4d995119271f7c35e21a6775ee2454b4774b13a6;hpb=9c7ca26e6dd0c1ce1b6cd653e27a083b7379a5dd diff --git a/from_lists_to_continuations.mdwn b/from_lists_to_continuations.mdwn index f2e6989d..8c84dfbd 100644 --- a/from_lists_to_continuations.mdwn +++ b/from_lists_to_continuations.mdwn @@ -6,7 +6,7 @@ to continuations is to re-functionalize a zipper. Then the concreteness and understandability of the zipper provides a way of understanding and equivalent treatment using continuations. -Let's work with lists of chars for a change. To maximize readability, we'll +Let's work with lists of `char`s for a change. To maximize readability, we'll indulge in an abbreviatory convention that "abSd" abbreviates the list `['a'; 'b'; 'S'; 'd']`. @@ -19,9 +19,7 @@ updated version. Expected behavior: -
-t "abSd" ~~> "ababd" -+ t "abSd" ~~> "ababd" In linguistic terms, this is a kind of anaphora @@ -32,39 +30,33 @@ This deceptively simple task gives rise to some mind-bending complexity. Note that it matters which 'S' you target first (the position of the * indicates the targeted 'S'): -
- t "aSbS" - * -~~> t "aabS" - * -~~> "aabaab" -+ t "aSbS" + * + ~~> t "aabS" + * + ~~> "aabaab" versus -
- t "aSbS" - * -~~> t "aSbaSb" - * -~~> t "aabaSb" - * -~~> "aabaaabab" -+ t "aSbS" + * + ~~> t "aSbaSb" + * + ~~> t "aabaSb" + * + ~~> "aabaaabab" versus -
- t "aSbS" - * -~~> t "aSbaSb" - * -~~> t "aSbaaSbab" - * -~~> t "aSbaaaSbaabab" - * -~~> ... -+ t "aSbS" + * + ~~> t "aSbaSb" + * + ~~> t "aSbaaSbab" + * + ~~> t "aSbaaaSbaabab" + * + ~~> ... Aparently, this task, as simple as it is, is a form of computation, and the order in which the `'S'`s get evaluated can lead to divergent @@ -75,25 +67,24 @@ guarantees termination, and a final string without any `'S'` in it. This is a task well-suited to using a zipper. We'll define a function `tz` (for task with zippers), which accomplishes the task by mapping a -char list zipper to a char list. We'll call the two parts of the +`char list zipper` to a `char list`. We'll call the two parts of the zipper `unzipped` and `zipped`; we start with a fully zipped list, and -move elements to the zipped part by pulling the zipped down until the +move elements to the zipped part by pulling the zipper down until the entire list has been unzipped (and so the zipped half of the zipper is empty). -
-type 'a list_zipper = ('a list) * ('a list);; - -let rec tz (z:char list_zipper) = - match z with (unzipped, []) -> List.rev(unzipped) (* Done! *) - | (unzipped, 'S'::zipped) -> tz ((List.append unzipped unzipped), zipped) - | (unzipped, target::zipped) -> tz (target::unzipped, zipped);; (* Pull zipper *) - -# tz ([], ['a'; 'b'; 'S'; 'd']);; -- : char list = ['a'; 'b'; 'a'; 'b'; 'd'] - -# tz ([], ['a'; 'S'; 'b'; 'S']);; -- : char list = ['a'; 'a'; 'b'; 'a'; 'a'; 'b'] -+ type 'a list_zipper = ('a list) * ('a list);; + + let rec tz (z:char list_zipper) = + match z with + | (unzipped, []) -> List.rev(unzipped) (* Done! *) + | (unzipped, 'S'::zipped) -> tz ((List.append unzipped unzipped), zipped) + | (unzipped, target::zipped) -> tz (target::unzipped, zipped);; (* Pull zipper *) + + # tz ([], ['a'; 'b'; 'S'; 'd']);; + - : char list = ['a'; 'b'; 'a'; 'b'; 'd'] + + # tz ([], ['a'; 'S'; 'b'; 'S']);; + - : char list = ['a'; 'a'; 'b'; 'a'; 'a'; 'b'] Note that this implementation enforces the evaluate-leftmost rule. Task completed. @@ -131,8 +122,8 @@ to get there, we'll first do the exact same thing we just did with concrete zipper using procedures. Think of a list as a procedural recipe: `['a'; 'b'; 'S'; 'd']` -is the result of the computation `a::(b::(S::(d::[])))` (or, in our old -style, `makelist a (makelist b (makelist S (makelist c empty)))`). +is the result of the computation `'a'::('b'::('S'::('d'::[])))` (or, in our old +style, `make_list 'a' (make_list 'b' (make_list 'S' (make_list 'd' empty)))`). The recipe for constructing the list goes like this:
@@ -151,10 +142,10 @@ be a function of type `char list -> char list`. We'll call each step context, a continuation is a function of type `char list -> char list`. For instance, the continuation corresponding to the portion of the recipe below the horizontal line is the function `fun (tail:char -list) -> a::(b::tail)`. +list) -> 'a'::('b'::tail)`. This means that we can now represent the unzipped part of our -zipper--the part we've already unzipped--as a continuation: a function +zipper---the part we've already unzipped---as a continuation: a function describing how to finish building the list. We'll write a new function, `tc` (for task with continuations), that will take an input list (not a zipper!) and a continuation and return a processed list. @@ -162,23 +153,23 @@ The structure and the behavior will follow that of `tz` above, with some small but interesting differences. We've included the orginal `tz` to facilitate detailed comparison: --let rec tz (z:char list_zipper) = - match z with (unzipped, []) -> List.rev(unzipped) (* Done! *) - | (unzipped, 'S'::zipped) -> tz ((List.append unzipped unzipped), zipped) - | (unzipped, target::zipped) -> tz (target::unzipped, zipped);; (* Pull zipper *) - -let rec tc (l: char list) (c: (char list) -> (char list)) = - match l with [] -> List.rev (c []) - | 'S'::zipped -> tc zipped (fun x -> c (c x)) - | target::zipped -> tc zipped (fun x -> target::(c x));; - -# tc ['a'; 'b'; 'S'; 'd'] (fun x -> x);; -- : char list = ['a'; 'b'; 'a'; 'b'] - -# tc ['a'; 'S'; 'b'; 'S'] (fun x -> x);; -- : char list = ['a'; 'a'; 'b'; 'a'; 'a'; 'b'] -+ let rec tz (z:char list_zipper) = + match z with + | (unzipped, []) -> List.rev(unzipped) (* Done! *) + | (unzipped, 'S'::zipped) -> tz ((List.append unzipped unzipped), zipped) + | (unzipped, target::zipped) -> tz (target::unzipped, zipped);; (* Pull zipper *) + + let rec tc (l: char list) (c: (char list) -> (char list)) = + match l with + | [] -> List.rev (c []) + | 'S'::zipped -> tc zipped (fun x -> c (c x)) + | target::zipped -> tc zipped (fun x -> target::(c x));; + + # tc ['a'; 'b'; 'S'; 'd'] (fun x -> x);; + - : char list = ['a'; 'b'; 'a'; 'b'] + + # tc ['a'; 'S'; 'b'; 'S'] (fun x -> x);; + - : char list = ['a'; 'a'; 'b'; 'a'; 'a'; 'b'] To emphasize the parallel, I've re-used the names `zipped` and `target`. The trace of the procedure will show that these variables