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

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

2022/09/07 胡振江：
导言：函数式程序设计 [幻灯片]
第一章：概论 [幻灯片]
[作业]
2022/09/09 张伟：
第2.1章：初见函数式思维 [幻灯片]
2022/09/14 张伟：
第2.1章：初见函数式思维——若干补充说明 [幻灯片]
第2.2章：初见Haskell [幻灯片]
[作业]
2022/09/16 张伟：
第2.2章：初见Haskell [幻灯片]
[作业]
2022/09/21 张伟：
第3章：类型与类簇 [幻灯片]
第4章：函数的定义 [幻灯片]
[作业]
2022/09/23 张伟：
第5章：List Comprehension [幻灯片]
第6章：递归函数 [幻灯片]
[作业]
2022/09/28 张伟：
第7章：高阶函数 [幻灯片]
第8章：类型和类簇的声明/定义 [幻灯片]
[作业]
2022/09/30 张伟：
第8章：类型和类簇的声明/定义 [幻灯片]
2022/10/05 张伟：
第9章：An Example: The Countdown Problem [幻灯片]
第10章：交互式程序设计 [幻灯片]
[作业]
2022/10/07 张伟：
第10章：交互式程序设计 [幻灯片]
第12章：Monads and More [幻灯片]
[作业]
2022/10/12 张伟：
第12章：Monads and More [幻灯片]
2022/10/14 张伟：
第12章：Monads and More [幻灯片]
[作业]
2022/10/19 张伟：
第13章：Monadic Parser [幻灯片]
2022/10/21 张伟：
第14章：Foldables and Friends [幻灯片]
第15章：计算模型—Lazy Evaluation [幻灯片]
[作业]
2022/10/26 胡振江：
Chapter 16: Introduction to Calculational Programming [幻灯片]
Chapter 17: Basics of Agda [幻灯片]
[作业]
2022/10/28 胡振江：
Chapter 18: Natural Numbers in Agda [幻灯片]
[作业]
2022/11/04 李戈：
计算机的基本原理 [幻灯片]
2022/11/09 胡振江：
Chapter 19: Lists in Agda [幻灯片]
[作业]
2022/11/12 董豪：
计算机硬件系统 [幻灯片]
2022/11/16 胡振江：
Chapter 20: Internal Verification [幻灯片]
[作业]
2022/11/18 刘譞哲：
认识计算机系统软件 [幻灯片]
2022/11/23 胡振江：
第21章：等式理论 [幻灯片]
[作业]
2022/11/25 王厚峰：
信息表示 [幻灯片]
2022/11/30 胡振江：
Chapter 22. Bird Meertens Formalism (BMF) [幻灯片]
[作业]
2022/12/02 胡振江：
程序设计语言 [幻灯片]
2022/12/07 胡振江：
第23章：序列理论概述 (in Agda) [幻灯片]
Chapter 24. Homomorphism [幻灯片]
[作业]
2022/12/14 胡振江：
Chapter 25. Fusion and Tupling [幻灯片]
[作业]
2022/12/16 胡振江：
Chapter 26. Automatic Parallelization [幻灯片]

讲义更新

2022/10/12 第12章：Monads and More
2022/11/08 Chapter 17: Basics of Agda