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

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

  • 2024/09/11 胡振江：
    导言：函数式程序设计 等
    [2024/09/18 11:59AM 截止]
  • 2024/09/13 张伟：
    第2章：初见函数式思维
    [不需要提交]
    • 【2】本次课程无课后作业
  • 2024/09/18 张伟：
    第3章：初见Haskell
    [2024/09/25 11:59AM 截止]
    • 【3】完成课程讲义上的习题1~3 HW2.hs
    • 请使用提供的模板文件，对其的使用可以查看 此页面
    • 请注意本次作业提交时，邮件主题应为“计算概论作业-2400012345-张三-2”
  • 2024/09/20 张伟：
    第3章：初见Haskell
    [2024/09/25 11:59AM 截止]
    • 【4】完成课程讲义上的习题4 HW3.hs
    • 本次作业需要安装random包，换源方法请查看 此页面
    • 你可能需要 `randomRIO` 这个函数，用法为 `n <- randomRIO (1, 100)`
    • 请注意本次作业提交时，邮件标题应为“计算概论作业-2400012345-张三-3”
  • 2024/09/25 张伟：
    第4章：类型与类簇
    [2024/10/02 11:59AM 截止]
    • 【5】完成第4章课程讲义上的习题1-2 HW4.hs
    • 请注意本次作业提交时，邮件标题应为“计算概论作业-2400012345-张三-4”
  • 2024/09/27 张伟：
    第5章：函数的定义 等
    [2024/10/02 11:59AM 截止]
    • 【6】完成第5章和第6章课程讲义上的习题 HW5.hs
    • 请注意本次作业提交时，邮件标题应为“计算概论作业-2400012345-张三-5”
  • 2024/10/09 张伟：
    第7章：递归函数 等
    [2024/10/16 11:59AM 截止]
    • 【7】完成第7章和第8章课程讲义上的习题 HW6.hs
    • 请注意本次作业提交时，邮件标题应为“计算概论作业-2400012345-张三-6”
  • 2024/10/11 张伟：
    第9章：类型和类簇的声明/定义
    [不需要提交]
    • 【8】本次课程无课后作业
  • 2024/10/16 张伟：
    第9章：类型和类簇的声明/定义 等
    [2024/10/23 11:59AM 截止]
    • 【9】完成第9章课程讲义上的习题 HW7.hs
    • 请注意本次作业提交时，邮件标题应为“计算概论作业-2400012345-张三-7”
  • 2024/10/18 张伟：
    第10章：An Example: The Countdown Problem 等
    [2024/10/23 11:59AM 截止]
    • 【10】完成第10章课程讲义上的习题 HW8.hs
    • 请注意本次作业提交时，邮件标题应为“计算概论作业-2400012345-张三-8”
  • 2024/10/23 张伟：
    第11章：交互式程序设计 等
    [2024/10/30 11:59AM 截止]
    • 【11】完成第11章课程讲义上的习题，仅需要提交第一题的代码。 ：homeworks/HW9.hs
    • 请注意本次作业提交时，邮件标题应为“计算概论作业-2400012345-张三-9”
  • 2024/10/25 张伟：
    第12章：Monads and More(范畴论版PPT)
    [2024/10/30 11:59AM 截止]
    • 【12】完成第12章课程讲义上的习题。 ：homeworks/HW10.hs
    • 请注意本次作业提交时，邮件标题应为“计算概论作业-2400012345-张三-10”
  • 2024/10/30 张伟：
    第12章：Monads and More(范畴论版PPT)
    [不需要提交]
    • 【13】本次课程无课后作业。
  • 2024/11/1 张伟：
    第13章：Monadic Parser
    [不需要提交]
    • 【14】本次课程无课后作业。
  • 2024/11/6 张伟：
    第14章：Foldables and Friends 等
    [2024/11/20 11:59AM 截止]
  • 2024/11/20 胡振江：
    Chapter 16: Introduction to Calculational Programming 等
    [2024/11/27 11:59AM 截止]
  • 2024/11/27 胡振江：
    Chapter 17: Basics of Agda 等
    [2024/12/04 11:59AM 截止]
  • 2024/12/4 胡振江：
    Chapter 18: Natural Numbers in Agda 等
    [2024/12/11 11:59AM 截止]
  • 2024/12/11 胡振江：
    Chapter 19: Lists in Agda 等
    [2024/12/18 11:59AM 截止]
  • 2024/12/18 胡振江：
    第21章： 等式理论 等
    [2024/12/25 11:59AM 截止]
  • 2024/12/20 胡振江：
    第23章：序列理论概述 (in Agda)
    [2025/01/01 11:59AM 截止]
    • 【21】完成第22章的BMF-1, BMF-2, BMF-3，以任何形式提交均可，同时完成第23章课程讲义上的习题。 ：homeworks/HW17.agda
    • 本次作业提交时间将会延长一周。
  • 2024/12/25 胡振江：
    Chapter 24. Homomorphism
    [2025/01/01 11:59AM 截止]
    • 【22】完成第24章课程讲义上的习题。 ：homeworks/HW18.hs
    • BMF2-1为 Agda 题目，包含在HW17.agda中，BMF2-2为 Haskell 题目，包含在HW18.hs中。提交作业时两个文件烦请分别用两份邮件发送。