预计 1 分钟

Xavier Leroy's new book on Control Sturctures in Programming

摘要

本书是 Xavier Leroy 预览版，标题为《从 goto 到代数效应：编程语言控制结构》，2026 年 6 月 5 日发布。内容目录包含前言、导言及四大部分：第一部分为命令式语言控制结构，包括早期编程语言、结构化编程、非局部控制和控制反转；第二部分为函数式语言控制运算符，包括函数式语言、延续与 CPS 变换、用延续编程和控制运算符；第三部分从异常到代数效应与处理，包括异常、用户定义效应效应处理、单子及代数效应；第四部分控制与效应推理，包括类型与效应系统、控制结构 Hoare 逻辑及控制运算符分离逻辑。全文基于 LATEX 翻译，作者版权为 CC BY - NC - SA 4.0。

荐读理由

内容只列出目录与出版社预览，无任何技术发现、洞见、信号或可迁移做法

原文

Control structures in programming languages From goto to algebraic effects

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 license.

Part I Control structures for imperative languages

Part II Control operators for functional languages

Part III From exceptions to algebraic effects and handlers

Part IV Reasoning about control and effects

This document was translated from LATEX by HEVEA.

Lobsters · 1 赞 · 1 评讨论 → 阅读原文 →

这条对你有帮助吗？