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

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

  • 2022/09/07 胡振江：
    导言：函数式程序设计 等
    [2022/09/13 截止]
    • 【1】完成课程讲义上的习题
  • 2022/09/14 张伟：
    第2.1章：初见函数式思维——若干补充说明 等
    [2022/09/20 截止]
    • 【2】完成课程讲义上的习题1~3 ：homeworks/HW2.hs
    • 请使用提供的模板文件，对其的使用可以查看 此页面
    • 请注意作业提交要求！
  • 2022/09/16 张伟：
    第2.2章：初见Haskell
    [2022/09/20 截止]
    • 【3】完成课程讲义上的习题4 ：homeworks/HW3.hs
    • 使用GHC编译并运行课件上的交互式程序
    • 安装Stack并运行课件上的程序，可以参考 此页面
  • 2022/09/21 张伟：
    第3章：类型与类簇 等
    [2022/09/27 截止]
  • 2022/09/23 张伟：
    第5章：List Comprehension 等
    [2022/09/27 截止]
  • 2022/09/28 张伟：
    第7章：高阶函数 等
    [2022/10/11 截止]
  • 2022/10/05 张伟：
    第9章：An Example: The Countdown Problem 等
    [2022/10/11 截止]
  • 2022/10/07 张伟：
    第10章：交互式程序设计 等
    [2022/10/11 截止]
    • 【9】完成第10章课程讲义上的习题，仅需要提交第一题的代码。您可以需要在本地修改文件名以保证与模块名一致 ：homeworks/HW9.hs
  • 2022/10/14 张伟：
    第12章：Monads and More
    [2022/10/18 截止]
  • 2022/10/21 张伟：
    第14章：Foldables and Friends 等
    [2022/10/27 截止]
  • 2022/10/26 胡振江：
    Chapter 16: Introduction to Calculational Programming 等
    [2022/11/15 截止]
  • 2022/10/28 胡振江：
    Chapter 18: Natural Numbers in Agda
    [2022/11/15 截止]
  • 2022/11/09 胡振江：
    Chapter 19: Lists in Agda
    [2022/11/15 截止]
  • 2022/11/16 胡振江：
    Chapter 20: Internal Verification
    [2022/11/22 截止]
  • 2022/11/23 胡振江：
    第21章：等式理论
    [2022/11/22 截止]
  • 2022/11/30 胡振江：
    Chapter 22. Bird Meertens Formalism (BMF)
    [2022/12/06 截止]
    • 【17】完成课堂上要求的习题，以任何形式提交均可。
  • 2022/12/07 胡振江：
    第23章：序列理论概述 (in Agda) 等
    [2022/12/16 截止]
    • 【18】本次作业请将以下内容均添加至附件提交。
    • 完成 BMF1-3 （第22章）与 BMF2-1 （第24章）的证明。以任何形式均可，请作为附件提交，不要添加至正文。
    • 完成第23章的习题 ：homeworks/HW18.agda
    • 完成 BMF1-2 （第22章） ：homeworks/HW18.hs
  • 2022/12/14 胡振江：
    Chapter 25. Fusion and Tupling
    [2022/12/23 截止]
    • 【19】完成第24章、第25章习题，以附件形式提交。 ：homeworks/HW19.hs