Book draft: "Control structures in programming languages"

Community
,
1

I am happy to announce that a draft of my upcoming book “Control structures in programming languages: from goto to algebraic effects” is now available at https://xavierleroy.org/control-structures .

The book compares several programming languages from the standpoint of control structures. OCaml is used intensively to discuss control in functional programming, including continuation-passing style, control operators, exceptions, user-defined effects and effect handlers, with many examples that I hope you’ll like.

The book also discusses in depth a number of questions that are often raised in this forum, such as the theory and practice of algebraic effects and handlers, and the static checking of exceptions and effects.

Enjoy!

45 Likes
2

I’ll want to buy that one in hardback when it’s available.

2 Likes
3

Thanks for writing this book @xavierleroy.

Is there a preferred way to send you errata or corrections?

5

Feedback is very welcome ! E-mail is fine (here is my address).

2 Likes