#计算理论

建议同步学习类型论与范畴论。

计算理论基本概念可参考图灵机理论与无类型 λ 演算与重写系统。

函数式编程

完整图景可参考 Standardized Ladder of Functional Programming.

可参考计算概论课程的笔记：

• Haskell 的基础概念与语法
• Haskell 的单子与副作用
• Agda 语言与基本的形式化证明
• Bird Meertens 形式与高效程序导出