Lisp

McCarthy 1960 年论文的中文翻译：证明（我没看到/懂）通过几个非常简单的函数（如条 件表达式）和递归定义，可以表达所有计算机程序。提出了 eval-apply 循环，定义了计算 机程序的麦克斯韦方程组；提出了自动内存管理、垃圾回收的概念，给出了 stop-and-copy 垃圾回收算法（标记的方法是把指针变为负数）。

我没有太理解论文借助 M 表达式和 S 表达式的互相转换想表达的意图是什么。AI 的理解 是，M 表达式是程序逻辑，S 表达式是数据，把 M 表达式转换为 S 表达式，说明了 S 表 达式可以像操作数据一样去处理代码，实现元编程的能力。

最后一节“流程图与递归函数”根据 NoteBookLM 的说法，这是在讲“计算机程序（流程图） 与递归函数之间的等价关系”。

https://github.com/jscl-project/jscl

• Human Computer Interaction (HCI) (20260126T140805-human_{computerinteraction.org})
• GameDesign (20260215T230105-gamedesign.org)