X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=from_lists_to_continuations.mdwn;h=d6eb68571d278c2ed77db97e5fc0317b13784684;hp=1d0ad42b7cf2e135b0f87c9c762260bb0a808541;hb=a3287a42f89b13734f03352c9b8711640586eb22;hpb=abe3498df36846ee2b95a33bc63f9bbe4b69d9b3 diff --git a/from_lists_to_continuations.mdwn b/from_lists_to_continuations.mdwn index 1d0ad42b..d6eb6857 100644 --- a/from_lists_to_continuations.mdwn +++ b/from_lists_to_continuations.mdwn @@ -210,7 +210,7 @@ be directly represented. One way to extend this exercise would be to add a special symbol `'#'`, and then the task would be to copy from the target `'S'` only back to the closest `'#'`. This would allow our task to simulate delimited -continuations with embedded prompts. +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.