最近刷TAPL一直在做各种lambda calculus的解释器 目前成品有两个,一个是无类型的,一个是有简单类型系统和Bool类型的;还有一个半成品正在加入各种语法糖比如let、tuple、record之类的。 地址在此:https://github.com/w0mTea/Interpreters-and-Compilers 建议玩untyped那个和full type那个,simple type那个类型太少了几乎...