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

每周的作业请尽量在一封邮件内交齐，发送到课程邮箱（pku-dppl@outlook.com）并请在邮件主题中注明学号、姓名以及第几周作业（格式为“2100012345-张三-1”）。

  • 2024/02/19 赵海燕：
    Introduction
    [2024/02/26 截止]
    • 安装 OCaml
    • 3.5.13 & 3.5.16
  • 2024/02/26 赵海燕：
    Basic for Implementation
    [2024/03/04 截止]
    • 熟悉 OCaml
    • 完成课件最后一页的练习
  • 2024/03/04 赵海燕：
    The Untyped Lambda Calculus
    [2024/03/11 截止]
    • 5.3.6 & 5.3.7
  • 2024/03/11 赵海燕：
    Programming in the Lambda Calculus 等
    [2024/03/18 截止]
    • 6.2.5 & 8.3.7
  • 2024/03/18 赵海燕：
    Simply Typed Lambda-Calculus 等
    [2024/03/25 截止]
    • 9.3.9 & 11.5.2 & 11.12.1
  • 2024/03/25 赵海燕：
    Reference
    [2024/04/01 截止]
    • 13.5.2 & 13.5.8
  • 2024/04/01 赵海燕：
    Exceptions 等
    [2024/04/08 截止]
    • 14.3.1
  • 2024/04/08 赵海燕：
    Subtyping-2 等
    [2024/04/15 截止]
    • 15.2.2 & 15.3.2 & 15.5.2 & 16.1.2 & 16.2.6 & 16.4.1
  • 2024/04/22 王迪：
    Recursive Types
    [2024/04/29 截止]
    • on the last page of "Recursive Types"
  • 2024/05/06 王迪：
    Variable Types
    [2024/05/13 截止]
    • 23.5.1 OR 23.5.2
  • 2024/05/13 王迪：
    [2024/05/20 截止]
    • on the last page of "Variable Types"
  • 2024/05/20 王迪：
    Type-Level Computation
    [2024/05/27 截止]
    • on the last page of "Type-Level Computation"
  • 2024/05/27 王迪：
    Type Inference
    [2024/06/03 截止]
    • on the last page of "Type Inference"