📝§ Continuation

• Continuation is reification of program control state

• Continuation is goto

• Compiling with continuations—even if continuations are not exposed to the end programmers, they can still be useful as an implementation technique

• CPS is a subset of lambda-calculus

• CPS is single assignment (SSA)

Resources

• Appel₁₉₉₂: extremely good book on how to compile functional programming languages with continuations.

Backlinks

• 📝 Shadow stack
• 📝 Function color
• 📝 Is effect system only relevant to typed languages?
• 📝 § Effect system
• 📝 Continuation is reification of program control state
• 📝 § Programming
• 📝 § Programming Language