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

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

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