JetBrains Research unites scientists working in challenging new disciplines

Seminar on Gentle Introduction to Delimited Continuations

18 November 2018

Today we'll have a look at delimited continuations (delimCC in short): a
refinement of not so famous feature of LISPs named
call-with-current-continuation (callCC in short). Originally callCC
didn't have any abilities to reduce a scope of continuation being
captured, delimited continuations doesn't suffer from this problem.

We'll
start from some simple example and build intuition how programs are
working. After that we'll present formal semantics and talk how add
types to our calculus and will discuss answer type polymorphism.