Lightning Talk: Designing a Language for Learning Continuations
summary
Proposal builds a pedagogical language that teaches continuations by combining language levels and an algebraic stepper that visualizes which continuation is captured and how it is invoked. Initial level allows only printing, then adds mutation and exceptions; usage evolves from linear usage to multiple resumptions to full first-class continuations. Design choices under consideration: shift/reset vs shift0/reset0 vs control/prompt, and whether to use a typed system with answer-type modification. Project solicits community input.
AI-written summary · about
related talks
30mContinuations and Coexponentials
09mOn Teaching Type Systems as Macros (Lightning Talk)
21mVirtualizing Continuations
27mBreaking the Legacy: A New Era of Programming Language Design
16mS4 modal sequent calculus as intermediate logic and intermediate language (Short Paper)
48m"Breaking the Legacy: A New Era of Programming Language Design"
21mKeynote: Hedy: Creating a Gradual Programming Language
33mLightning Talks II