从零开始构建现代函数式编译器。
在线阅读：
发布
这是一项正在进行中的工作。
- 第一章：引言
- 第二章：Haskell基础
- 第三章：解析
- 第四章：λ演算
- 第五章：类型系统
- 第六章：评估
- 第七章：欣德利-米尔纳推理
- 第八章：ProtoHaskell 的设计
- 第九章：扩展解析器
- 第十章：自定义数据类型
- [第 11 章：重命名器]( http://dev.stephendiehl.com/fun/010_renamer.html )
- 第十二章：模式匹配与脱糖
- 第十三章：系统-F
- 第十四章：类型类
- 第十五章：核心语言
- 第十六章：种类
- 第十七章：Haskell 类型检查器
- 第十八章：核心解释器
- 第十九章：序曲
- 第20章：惰性求值的设计
- 第21章：STG
- 第二十二章：汇编
- 第23章：运行时设计
- 第24章：小恶魔
- 第25章：代码生成（C）
- 第26章：代码生成（LLVM）
- 第27章：行多态性和效应类型
- 第28章：未来工作
建筑
生成构建脚本配置…