课程讲义 - 函数式程序设计 / 2021秋

在这里可以下载课程讲义。

2021/09/15 胡振江：
导言：函数式程序设计 [幻灯片]
第一章：概论 [幻灯片]
[作业]
2021/09/17 张伟：
第二章：函数式编程第一步 [幻灯片]
初见函数式思维 [幻灯片]
[作业]
2021/09/22 张伟：
初见Haskell [幻灯片]
[作业]
2021/09/24 张伟：
初见Haskell [幻灯片]
2021/09/29 张伟：
第三章：类型和类族 [幻灯片]
[作业]
2021/10/08 张伟：
第四章：函数定义 [幻灯片]
第五章：List Comprehension [幻灯片]
[作业]
2021/10/13 张伟：
第六章：递归函数 [幻灯片]
第七章：高阶函数 [幻灯片]
[作业]
2021/10/15 张伟：
第八章：类型和类族的定义 [幻灯片]
[作业]
2021/10/20 张伟：
第九章：倒计时问题 [幻灯片]
[作业]
2021/10/22 张伟：
第十章：交互式程序设计 [幻灯片]
[作业]
2021/10/27 张伟：
第十二章：Monads and More [幻灯片]
[作业]
2021/10/27 张伟：
第十三章：Monadic Parser [幻灯片]
[作业]
2021/11/03 张伟：
第十四章：Foldable and Friends [幻灯片]
第十五章：计算模型：Lazy Evaluation [幻灯片]
[作业]
2021/11/05 张伟：
函数式编程思想在其他编程语言中的应用 [幻灯片]
2021/11/10 胡振江：
第十六章：Introduction to Calculational Programming [幻灯片]
第十七章：Agda的基本概念(1) [幻灯片]
[作业]
2021/11/12 李戈：
计算机的基本原理 [幻灯片]
2021/11/19 代亚非：
计算机硬件系统 [幻灯片]
2021/11/24 胡振江：
第十七章：Agda的基本概念(1) [幻灯片]
[作业]
2021/11/26 刘譞哲：
计算机软件 [幻灯片]
2021/12/01 胡振江：
第十七章：Agda的基本概念(2) [幻灯片]
[作业]
2021/12/08 胡振江：
第十八章：序列理论概述(1) [幻灯片]
[作业]
2021/12/15 胡振江：
第十八章：序列理论概述(2) [幻灯片]
Bird Meertens Formalism: Homomorphism [幻灯片]
[作业]
2021/12/22 胡振江：
Bird Meertens Formalism: Homomorphism [幻灯片]
Bird Meertens Formalism: Directed Reduction (Foldl) [幻灯片]
[作业]
2021/12/24 胡振江：
Bird Meertens Formalism: Fusion and Tupling [幻灯片]
Bird Meertens Formalism: An Application [幻灯片]
[作业]

讲义更新

2021/11/24 第十七章：Agda的基本概念(1)
2021/12/22 Bird Meertens Formalism: Homomorphism