Structures de contrôle des langages de programmation : du goto aux effets algébriques (en)

Livre (en version HTML) à paraître chez Cambridge University Press qui retrace l’évolution des structures de contrôle : des goto et de la programmation structurée, aux générateurs/itérateurs/coroutines côté impératif, puis aux continuations, opérateurs de contrôle, monades, et jusqu’aux effets algébriques et leurs effect handlers. L’ouvrage mêle histoire, théorie et exemples de code, avec un plan en quatre parties (impératif, contrôle fonctionnel, des exceptions aux effets, et raisonnement via systèmes de types & effets, logique de Hoare et logique de séparation). Des exemples concrets sont fournis (Fortran, Algol 60, Java, Python, C++, OCaml, Haskell) et une archive ZIP de snippets est disponible sous licence MIT.