📝Compiling with continuations

Even if the source language does not expose continuations as an abstraction for the programmer, continuations can still be useful as a language implementation technique.

e.g., effects in Leijen₂₀₁₆ can be clearly implemented with continuations.

CPS also shares properties with other intermediate representations:

• CPS is a subset of lambda-calculus

• CPS is single assignment (SSA)

See also

• Double-barrelled continuations—passing two continuations: one normal and one for exceptions.

• CPS is better suited for later compilation stages

Resources

• Compiling with continuations resources