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

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

  • 2025/09/10 胡振江：
    导言：函数式程序设计 等
    [2025/09/17 11:59AM 截止]
  • 2025/09/12 张伟：
    第2章：初见函数式思维
    [不需要提交]
    • 【2】本次课程无课后作业
  • 2025/09/17 张伟：
    第3章：初见Haskell
    [2025/09/24 11:59AM 截止]
    • 【3】完成课程讲义上的习题1~3 HW2.hs
    • 请使用提供的模板文件，对其的使用可以查看 此页面
    • 请注意本次作业提交时，邮件主题应为“计算概论作业-2500012345-张三-2”
  • 2025/09/19 张伟：
    第3章：初见Haskell
    [2025/09/24 11:59AM 截止]
    • 【4】完成课程讲义上的习题4 HW3.hs
    • 本次作业需要安装random包，换源方法请查看 此页面
    • 你可能需要 `randomRIO` 这个函数，用法为 `n <- randomRIO (1, 100)`
    • 请注意本次作业提交时，邮件标题应为“计算概论作业-2400012345-张三-3”
  • 2025/09/24 张伟：
    第4章：类型与类簇
    [2025/10/08 11:59AM 截止]
    • 【5】完成第4章课程讲义上的习题1-2 HW4.hs
    • 请注意本次作业提交时，邮件标题应为“计算概论作业-2400012345-张三-4”
  • 2025/09/26 张伟：
    第5章：函数的定义 等
    [2025/10/10 11:59PM 截止]
    • 【6】完成第5,6,7章课程讲义上的习题 HW5.hs
    • 请注意本次作业提交时，邮件标题应为“计算概论作业-2400012345-张三-5”
    • 本次作业模板有修改，请已经提交的同学重新提交一份
  • 2025/10/10 张伟：
    第8章：高阶函数
    [2025/10/15 11:59AM 截止]
    • 【7】完成第8章课程讲义上的习题 HW6.hs
    • 请注意本次作业提交时，邮件标题应为“计算概论作业-2400012345-张三-6”
  • 2025/10/15 张伟：
    第9章：类型和类簇的声明/定义
    [2025/10/22 11:59AM 截止]
    • 【8】完成第9章课程讲义上的习题 HW7.hs
    • 请注意本次作业提交时，邮件标题应为“计算概论作业-2400012345-张三-7”
  • 2025/10/17 张伟：
    第10章：An Example: The Countdown Problem 等
    [2025/10/22 11:59AM 截止]
    • 【9】完成第10章课程讲义上的习题 HW8.hs
    • 请注意本次作业提交时，邮件标题应为“计算概论作业-2400012345-张三-8”
  • 2025/10/22 张伟：
    第11章：交互式程序设计 等
    [2025/10/29 11:59AM 截止]
    • 【10】完成第11章课程讲义上的习题，仅需要提交第一题的代码。 HW9.hs
    • 请注意本次作业提交时，邮件标题应为“计算概论作业-2400012345-张三-9”
  • 2025/10/24 张伟：
    第12章：Monads and More
    [2025/10/29 11:59AM 截止]
    • 【11】完成第12章课程讲义上的习题 HW10.hs
    • 请注意本次作业提交时，邮件标题应为“计算概论作业-2400012345-张三-10”
  • 2025/10/29 张伟：
    第13章：Monadic Parser
    [2025/11/7 11:59PM 截止]
    • 【12】完成第13章课程讲义上的习题 HW11.hs
    • 请注意本次作业提交时，邮件标题应为“计算概论作业-2400012345-张三-11”
  • 2025/10/31 张伟：
    第14章：Foldables and Friends 等
    [2025/11/7 11:59PM 截止]
    • 【13】完成第14、15章课程讲义上的习题。 HW12.hs
    • 请注意本次作业提交时，邮件标题应为“计算概论作业-2400012345-张三-12”
  • 2025/11/12 胡振江：
    Chapter 16: Introduction to Calculational Programming 等
    [2025/11/19 11:59AM 截止]
    • 【14】完成第16章课程讲义上的习题。 ：homeworks/HW13.hs
    • 【14】完成第17章课程讲义上的习题。 ：homeworks/HW13.agda
    • 本次作业的两个文件都需要作为邮件的附件提交。请注意本次作业提交时，邮件标题应为： 计算概论作业-2500012345-张三-13
    • 附加材料：如何安装 Agda 环境？
  • 2025/11/19 胡振江：
    Chapter 18: Natural Numbers in Agda 等
    [2025/11/26 11:59AM 截止]
    • 【15】完成第18,19章课程讲义上的习题。 ：homeworks/HW14.agda
    • 请注意本次作业提交时，邮件标题应为：计算概论作业-2500012345-张三-14
  • 2025/11/26 胡振江：
    Chapter 20: Internal Verification 等
    [2025/12/03 11:59AM 截止]
    • 【16】完成第20,21章课程讲义上的习题。 ：homeworks/HW15.agda
    • 请注意本次作业提交时，邮件标题应为：计算概论作业-2500012345-张三-15
  • 2025/12/03 胡振江：
    Chapter 22. Bird Meertens Formalism (BMF)
    [不需要提交]
    • 【17】本次课程无课后作业