Xavier Leroy关于编程中控制结构的新书

Lobsters Hottest 产品
control-structures programming-languages book academic xavier-leroy

摘要

Xavier Leroy宣布了一本关于编程语言中控制结构的新书，涵盖从goto到代数效应的内容，提供CC许可下的免费预览。

<p><a href="https://lobste.rs/s/eolbw3/xavier_leroy_s_new_book_on_control">评论</a></p>
查看原文
查看缓存全文

缓存时间: 2026/06/15 12:58

# 编程语言中的控制结构 从 goto 到代数效应 来源：https://xavierleroy.org/control-structures/book/index.html ### Xavier Leroy ### 2026年6月5日 本书预览版将由剑桥大学出版社出版，依据 CC BY-NC-SA 4.0 (https://creativecommons.org/licenses/by-nc-sa/4.0/) 许可协议发布。

相似文章

递归模式的隐秘历史

Lobsters Hottest

一场演讲，追溯从goto面条代码到结构化循环，再到递归模式的演化历程，展示控制流抽象如何映射数据结构，以及为何大多数语言仍把最好的组合子藏起来。

新文章：谓词逻辑速成课

Hillel Wayne — Computer Things

本文宣布《Logic for Programmers》第二章关于谓词逻辑的免费发布，以及该书印刷版现已上市。