作业 - 函数式程序设计 / 2023秋

这里列出本课程要求完成的作业，原则上每课的作业在当次课的下一周周二晚23:59截止。

作业通过邮件提交，讲代码添加至附件并发送到助教邮箱（iaaa@pku.edu.cn）。请在邮件主题中注明姓名、学号以及作业次数（格式为“计算概论作业-2300012345-张三-1”）。将代码作为附件添加，如果某次作业包含多个文件，请不要压缩。从第二次作业开始我们提供了模板文件，请大家添加邮件附件时保留作业文件的原始命名，并且不要删除文件中的注释或修改函数名，防止检查作业时编译出错。

2023/09/13 胡振江：
导言：函数式程序设计等
[不需要提交]
- 【1】完成课程讲义上的习题（以任意方式提交）
- 附加材料：如何安装 Haskell 环境？
2023/09/15 张伟：
第2.1章：初见函数式思维等
[2023/09/19 截止]
- 【2】完成课程讲义上的习题1~2 ：homeworks/HW2.hs
- 请使用提供的模板文件，对其的使用可以查看此页面
- 请注意本次作业提交时，邮件标题应为“计算概论作业-2300012345-张三-2”
2023/09/20 张伟：
第2.2章：初见Haskell
[2023/09/26 截止]
- 【3】完成课程讲义上的习题3~4 ：homeworks/HW3.hs
- 本次作业需要安装random包，换源方法请查看此页面
- 你可能需要 `randomRIO` 这个函数，用法为 `n <- randomRIO (1, 100)`
- 请注意本次作业提交时，邮件标题应为“计算概论作业-2300012345-张三-3”
2023/09/22 张伟：
第3章：类型与类簇等
[2023/09/26 截止]
- 【4】完成第3章、第4章课程讲义上的习题：homeworks/HW4.hs
2023/09/27 张伟：
第5章：List Comprehension 等
[2023/10/10 截止]
- 【5】完成第5章和第6章课程讲义上的习题：homeworks/HW5.hs
2023/10/11 张伟：
第8章：类型和类簇的声明/定义
[2023/10/17 截止]
- 【6】完成第7章课程讲义上的习题：homeworks/HW6.hs
2023/10/13 张伟：
第9章：An Example: The Countdown Problem 等
[2023/10/17 截止]
- 【7】完成第8章课程讲义上的习题：homeworks/HW7.hs
- 【8】完成第9章课程讲义上的习题：homeworks/HW8.hs
2023/10/18 张伟：
第12章：Monads and More
[2023/10/25 截止]
- 【9】完成第10章课程讲义上的习题，仅需要提交第一题的代码。：homeworks/HW9.hs
2023/10/25 张伟：
范畴论、Functor、Monad
[2023/10/31 截止]
- 【10】完成第12章课程讲义上的习题。：homeworks/HW10.hs
2023/11/1 张伟：
第13章：Monadic Parser
[2023/11/7 截止]
- 【11】完成第13章课程讲义上的习题。：homeworks/HW11.hs
2023/11/3 张伟：
第14章：Foldables and Friends 等
[2023/11/7 截止]
- 【12】完成第14、15章课程讲义上的习题。：homeworks/HW12.hs
2023/11/8 胡振江：
Chapter 16: Introduction to Calculational Programming 等
[2023/11/21 截止]
- 【13】完成第16章课程讲义上的习题。：homeworks/HW13.hs
2023/11/15 胡振江：
Chapter 18: Natural Numbers in Agda
[2023/11/28 截止]
- 【14】完成第17章课程讲义上的习题。：homeworks/HW14.agda
- 附加材料：如何安装 Agda 环境？
2023/11/22 胡振江：
Chapter 19: Lists in Agda
[2023/11/28 截止]
- 【15】完成第18、19章课程讲义上的习题。：homeworks/HW15.agda
2023/11/29 胡振江：
Chapter 20: Internal Verification
[2023/12/5 截止]
- 【16】完成第20章课程讲义上的习题。：homeworks/HW16.agda
2023/12/6 胡振江：
第21章：等式理论等
[2023/12/12 截止]
- 【17】完成第21章课程讲义上的习题。：homeworks/HW17.agda
2023/12/13 胡振江：
第23章：序列理论概述 (in Agda)
[2023/12/19 截止]
- 【18】完成第22章课程讲义上的作业习题，以任何形式提交均可。
2023/12/20 胡振江：
Chapter 24. Homomorphism
[2024/1/2 截止]
- 【19】完成第23章课程讲义上的作业习题，本周作业会给更长的时间完成。：homeworks/HW19.agda
2023/12/20 胡振江：
Chapter 25. Fusion and Tupling
[2024/1/2 截止]
- 【20】完成第24章和第25章课程讲义上的作业习题。：homeworks/HW20.hs
2023/12/29 胡振江：
Chapter 26: Unfold 等
[2024/1/2 截止]
- 【21】完成第26章课程讲义上的作业习题，祝大家新年快乐！：homeworks/HW21.hs