这里列出本课程要求完成的作业,原则上每课的作业在当次课的下一周周三上午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 截止]