From: Jim Pryor Date: Wed, 1 Dec 2010 05:17:54 +0000 (-0500) Subject: lists-to-contin tweaks X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=da793817353fcd413446e59d2209b95593c82c51;hp=76d2b904ae8af78f5d69fd1580f7f2a2cbfe6095 lists-to-contin tweaks Signed-off-by: Jim Pryor --- diff --git a/from_lists_to_continuations.mdwn b/from_lists_to_continuations.mdwn index f2e6989d..a3ed6bfc 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']`. @@ -75,9 +75,9 @@ 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).