Post #4115061

RE: https://mathstodon.xyz/@sprout/116760372707116149 Control structures in programming languages From goto to algebraic effects Xavier Leroy July 13, 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 license. Contents Preface Introduction Part I Control structures for imperative languages Chapter 1 Early programming languages Chapter 2 Structured programming Chapter 3 Non-local control Chapter 4 Control inversion Part II Control operators for functional languages Chapter 5 Functional languages Chapter 6 Continuations and the CPS transformation Chapter 7 Programming with continuations Chapter 8 Control operators Part III From exceptions to algebraic effects and handlers Chapter 9 Exceptions Chapter 10 Effect handlers for user-defined effects Chapter 11 Monads Chapter 12 Algebraic effects Part IV Reasoning about control and effects Chapter 13 Type and effect systems Chapter 14 Hoare logic for control structures Chapter 15 Separation logic for control operators References Index