Control Structures in Programming Languages

编程语言中的控制结构

Control structures in programming languages: From goto to algebraic effects 编程语言中的控制结构：从 goto 到代数效应

Xavier Leroy, June 5, 2026 Xavier Leroy，2026 年 6 月 5 日

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. 这是剑桥大学出版社即将出版的一本书的预览版。本书根据 CC BY-NC-SA 4.0 许可协议发布。

Contents 目录

• Preface 前言
• Introduction 引言
• Part I: Control structures for imperative languages 第一部分：命令式语言的控制结构
  • Chapter 1: Early programming languages 第 1 章：早期编程语言
  • Chapter 2: Structured programming 第 2 章：结构化编程
  • Chapter 3: Non-local control 第 3 章：非局部控制
  • Chapter 4: Control inversion 第 4 章：控制反转
• Part II: Control operators for functional languages 第二部分：函数式语言的控制算子
  • Chapter 5: Functional languages 第 5 章：函数式语言
  • Chapter 6: Continuations and the CPS transformation 第 6 章：延续（Continuations）与 CPS 变换
  • Chapter 7: Programming with continuations 第 7 章：使用延续进行编程
  • Chapter 8: Control operators 第 8 章：控制算子
• Part III: From exceptions to algebraic effects and handlers 第三部分：从异常到代数效应与处理器
  • Chapter 9: Exceptions 第 9 章：异常
  • Chapter 10: Effect handlers for user-defined effects 第 10 章：用户自定义效应的效应处理器
  • Chapter 11: Monads 第 11 章：单子（Monads）
  • Chapter 12: Algebraic effects 第 12 章：代数效应
• Part IV: Reasoning about control and effects 第四部分：关于控制与效应的推理
  • Chapter 13: Type and effect systems 第 13 章：类型与效应系统
  • Chapter 14: Hoare logic for control structures 第 14 章：控制结构的霍尔逻辑（Hoare logic）
  • Chapter 15: Separation logic for control operators 第 15 章：控制算子的分离逻辑（Separation logic）
• References 参考文献
• Index 索引

This document was translated from LATEX by HEVEA. 本文档由 HEVEA 从 LATEX 转换而来。