User loginNavigation |
Ken Shan: Shift to Control
Ken Shan's Shift to Control (slides) presented at the recent Scheme workshop.
Ken shows that shift/reset, prompt/control, prompt/cupto and lots of other delimited continuation operators are all equally expressible, and all can be modeled by ordinary CPS. The paper shows that shift and reset can macro-express control and prompt, as well as the other operators, without capturing undelimited continuations or keeping mutable state. This translation is previously unknown in the literature. Good stuff! But keep in mind that, as the cartoon in the slide says, control operators can make your head hurt... |
Browse archivesActive forum topics
|
Recent comments
6 hours 33 min ago
6 hours 35 min ago
4 days 19 hours ago
1 week 1 day ago
1 week 1 day ago
1 week 3 days ago
1 week 3 days ago
1 week 3 days ago
1 week 5 days ago
1 week 5 days ago