Control flow and exceptions: Programming Language Design course | Zoonk
18. Control flow and exceptions
Design conditionals, loops, iterators, returns, exceptions, and nonlocal exits. Specify evaluation order and cleanup behavior so control transfers remain predictable.