📝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

Backlinks

• 📝 § Intermediate Representation (IR)
• 📝 CPS is better suited for later compilation stages
• 📝 Compiling with continuations resources
• 📝 § Programming language implementation
• 📝 Double-barrelled continuations
• 📝 § Continuation