Xavier Leroy's new book on Control Sturctures in Programming
Summary
This article previews a Cambridge University Press book by Xavier Leroy on control structures, tracing the evolution from goto-based programming to algebraic effects. It outlines the book’s four-part structure, covering imperative languages, functional operators, exceptions and algebraic effects, and reasoning about control. The content is relevant to developers and language designers interested in the theory and practice of program control.