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

每周的作业请尽量在一封邮件内交齐，发送到助教邮箱（xieruifeng@pku.edu.cn）并请在邮件主题中注明姓名、学号以及作业次数（格式为“计算概论作业-2100012345-张三-1”）。从第三次作业开始我们提供了模板文件，请大家添加邮件附件时保留作业文件的原始命名，并且不要删除文件中的注释或修改函数名，防止检查作业时编译出错。

  • 2021/09/15 胡振江：
    导言：函数式程序设计 等
    [2021/09/22 截止]
    • 完成课程讲义上的习题
  • 2021/09/17 张伟：
    第二章：函数式编程第一步 等
    [2021/09/22 截止]
    • 完成课程讲义上的习题
  • 2021/09/22 张伟：
    初见Haskell
    [2021/09/29 截止]
  • 2021/09/29 张伟：
    第三章：类型和类族
    [2021/10/13 截止]
    • 完成讲义上的习题，第3、4两题请按说明填写在注释里面 ：homeworks/HW4.hs
  • 2021/10/08 张伟：
    第四章：函数定义 等
    [2021/10/13 截止]
  • 2021/10/13 张伟：
    第六章：递归函数 等
    [2021/10/20 截止]
  • 2021/10/15 张伟：
    第八章：类型和类族的定义
    [2021/10/27 截止]
  • 2021/10/20 张伟：
    第九章：倒计时问题
    [2021/10/27 截止]
  • 2021/10/22 张伟：
    第十章：交互式程序设计
    [2021/10/27 截止]
  • 2021/10/27 张伟：
    第十二章：Monads and More
    [2021/11/03 截止]
  • 2021/10/27 张伟：
    第十三章：Monadic Parser
    [2021/11/03 截止]
  • 2021/11/03 张伟：
    第十四章：Foldable and Friends 等
    [2021/11/10 截止]
  • 2021/11/10 胡振江：
    第十六章：Introduction to Calculational Programming 等
    [2021/11/24 截止]
  • 2021/11/24 胡振江：
    第十七章：Agda的基本概念(1)
    [2021/12/01 截止]
  • 2021/12/01 胡振江：
    第十七章：Agda的基本概念(2)
    [2021/12/08 截止]
  • 2021/12/08 胡振江：
    第十八章：序列理论概述(1)
    [2021/12/15 截止]
  • 2021/12/15 胡振江：
    第十八章：序列理论概述(2) 等
    [2021/12/29 截止]
  • 2021/12/22 胡振江：
    Bird Meertens Formalism: Homomorphism 等
    [2021/01/05 截止]
  • 2021/12/24 胡振江：
    Bird Meertens Formalism: Fusion and Tupling 等
    [2021/01/05 截止]