Scheme and New Frontiers for Language Design
summary
Argues that adding a single seven-form interpreter extension — a debug statement that suspends execution and lets you inspect code, environment, store and continuation — makes breakpoints, conditional/watchpoints, time-travel and automated bisecting trivial to build as libraries rather than complex external tools; proposes treating continuations via the mu-mu calculus so continuations become writable operands (duo and code-scheme are early attempts); points out let macro expansion is often quadratic (use tree automata parsing) and pitches fixedpoint oriented programming* for concise graph algorithms and readable, user-facing exception blocks.
AI-written summary · about