#函数式编程

完整图景可参考 Standardized Ladder of Functional Programming. 建议同步学习类型论与范畴论。

可参阅的基本例子：

• 无类型 λ 演算
• Haskell 学习（一）：基础内容

计算概论A实验班 函数式程序设计的笔记：

• Haskell 学习（二）：单子与副作用
• Agda 学习（一）：完成简单证明的一切
• 程序推导