X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=from_list_zippers_to_continuations.mdwn;h=dcd11cec2181b4b98f37477e0fbd693ba889a7fa;hp=59185df570951642afc91c346af059a2bba08232;hb=8431bdd30785d6fe5f551219823d41c640918df4;hpb=d87dfc39a8e07e6005a1d63fff242ae4d38fb4a8 diff --git a/from_list_zippers_to_continuations.mdwn b/from_list_zippers_to_continuations.mdwn index 59185df5..dcd11cec 100644 --- a/from_list_zippers_to_continuations.mdwn +++ b/from_list_zippers_to_continuations.mdwn @@ -6,9 +6,9 @@ to continuations is to re-functionalize a zipper. Then the concreteness and understandability of the zipper provides a way of understanding an equivalent treatment using continuations. -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']`. +Let's work with lists of `char`s for a change. We'll sometimes write +"abSd" as an abbreviation for +`['a'; 'b'; 'S'; 'd']`. We will set out to compute a deceptively simple-seeming **task: given a string, replace each occurrence of 'S' in that string with a copy of @@ -216,7 +216,7 @@ the closest `'#'`. This would allow our task to simulate delimited continuations with embedded `prompt`s (also called `reset`s). The reason the task is well-suited to the list zipper is in part -because the list monad has an intimate connection with continuations. +because the List monad has an intimate connection with continuations. We'll explore this next.