Trace a small virtual machine through branches and loops, then compare switch, computed goto, and tail-call dispatch without changing its bytecode semantics.

Interpreter Dispatch: Switch, Computed Goto, and Tail Calls

Follow direct-style and CPS factorial through the same calculation. See how closures carry pending work, why Python still grows call depth, and where trampolines fit.

Continuation-Passing Style: Make the Remaining Work Explicit

Step through mutual recursion and a Call/Done trampoline to see deferred work, bounded worker depth, base cases, and the allocation tradeoff.

Control Flow

Concepts Related to Control Flow

Interpreter Dispatch: Switch, Computed Goto, and Tail Calls

Continuation-Passing Style: Make the Remaining Work Explicit

Trampolines: Recursive Control Flow Through a Loop