gnuemacs

  博客园  :: 首页  :: 新随笔  :: 联系 :: 订阅 订阅  :: 管理

2020年11月28日

摘要: ulam 基于C语言的无类型Lambda演算解释器 github:https://github.com/hhusjr/ulam 代码很简短,只有单个C语言文件,600行不到。后面会逐步加入更多语法特征,以及改进为具有类型的$\lambda-calculus$等等。 后续会更新解释器的具体的实现方式与 阅读全文
posted @ 2020-11-28 18:33 gnuemacs 阅读(420) 评论(0) 推荐(0) 编辑