Study note

Control structures in programming languages | Control structures in programming languages: from goto to algebraic effects

View original Back to list

Properties

Type: Blogs
Status: 待读
Domain: Compilers / PL
Category: 编程语言与函数式编程
Source: xavierleroy.org
Vault note: library/articles/compilers/Control-structures-in-programming-languages-Control-structures-in-programming-la-350f782df70951f2.md

Xavier Leroy 关于程序语言控制结构的讲义/课程页，主题从 goto、结构化控制流、异常、continuation 到 algebraic effects，讨论控制流抽象如何演化。

适合补 PL 视角的控制流理论，把日常的 if/loop/exception/coroutine/effect 放到统一语言设计脉络里看。

Loading comments...