Xavier Leroy's new book on Control Sturctures in Programming

Lobsters Hottest Products
control-structures programming-languages book academic xavier-leroy

Summary

Xavier Leroy announces a new book on control structures in programming languages, covering from goto to algebraic effects, available as a free preview under CC license.

<p><a href="https://lobste.rs/s/eolbw3/xavier_leroy_s_new_book_on_control">Comments</a></p>
Original Article
View Cached Full Text

Cached at: 06/15/26, 12:58 PM

# Control structures in programming languages From goto to algebraic effects Source: [https://xavierleroy.org/control-structures/book/index.html](https://xavierleroy.org/control-structures/book/index.html) ### Xavier Leroy ### June 5, 2026 This is a preview of a book to be published by Cambridge University Press\. It is distributed under the terms of the[CC BY\-NC\-SA 4\.0](https://creativecommons.org/licenses/by-nc-sa/4.0/)license\.

Similar Articles

Why I'm excited about effect systems (2025)

Lobsters Hottest

The author explains why effect systems in programming languages are exciting, offering better control over resource interactions, composability, and testability compared to current systems.

The secret history of Recursion Schemes

Lobsters Hottest

A talk tracing the evolution from goto spaghetti to structured loops and finally to recursion schemes, showing how control-flow abstractions mirror data structures and why most languages still hide the best combinators.

New Post: A Crash Course in Predicate Logic

Hillel Wayne — Computer Things

This post announces the free release of the second chapter of the book 'Logic for Programmers' on predicate logic, along with the book's availability in print.