Alexis King is a self-taught programmer who has always been fascinated by programming languages. She is particularly excited by the challenges of putting new ideas into practice and exploring ways to make them both accessible to working programmers and efficient enough to be deployed in real applications. Currently, she is a compiler engineer working on GHC at Tweag, where her primary focus has been improving compile-time performance.
Although delimited continuations are not a new idea, they have recently seen renewed interest from several programming language communities as a powerful tool for implementing schedulers and effect systems.
Unfortunately, there is a major remaining obstacle to their adoption, namely that most programmers find them utterly opaque. To help fix that, this talk provides an overview of what delimited continuations are, how they work, and why they’re useful from a perspective accessible to the working programmer.