Anthropic 博客背后的奇缘：2013 年 Brown 网课作业 lambda py 十三年后被启用

tianyin_xu · x · 2026-10-24

Anthropic 一篇博客的 Python interpreter 案例（附录部分）用到了 Brown PLT 组 2013 年设计的 lambda py——一个极小、适合验证语义的语言，Python 语义通过 "desugar" 无损转换为 lambda py，后续验证只需在其上进行。
转发者 ljsv89 分享了亲历故事：2013 年他在北京刚毕业，跟 Brown 的 PL 网课做作业，坚持到最后的几名网课学生跟着助教把 Python 剩余语义（module system、metaclass 等）全部转入 lambda py 并发表论文。他后来因此进入 Brown 读书，授课老师成了导师。
十三年后这段“砖头”在 LLM 时代的工程实践中被重新用上。作者感慨：过去只是人类力所不及，现在在 LLM 助攻下，人类可以把过去积累的成果全部用起来。

「Fun」频道最新