- Author
- Xavier Leroy
- Published
- Undated
- Kind
- Landing page for an online book preview
- Original
- xavierleroy.org/control-structures/
- Subject
- Programming languages and types
What it is
Xavier Leroy is the named author. The page describes the book and links to an HTML preview and sample code. The abstract calls the book a journey through the history and design space of control.
What it says
- The book surveys control structures from goto jumps through structured programming, continuations and algebraic effects.
- It has four parts: imperative control, control operators, exceptions to effects, and reasoning about control.
What evidence it gives
The page offers only a description and a chapter list. It lists code samples in OCaml, Python, Java, Fortran, Algol 60, C++ and Haskell. No argument or result appears on the page.
Interests and limits
This page is short. The linked chapters and code were not read, so nothing is said about them. The page says the first edition is due in December 2026.