📝§ 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