课程讲义

在这里可以下载课程讲义。

• 2024/09/11 胡振江：

  导言：函数式程序设计 [幻灯片]
  第1章：概论 [幻灯片]

  [作业]
  
• 2024/09/13 张伟：

  第2章：初见函数式思维 [幻灯片]

  [作业]
  
• 2024/09/18 张伟：

  第3章：初见Haskell [幻灯片]

  [作业]
  
• 2024/09/20 张伟：

  第3章：初见Haskell [幻灯片]

  [作业]
  
• 2024/09/25 张伟：

  第4章：类型与类簇 [幻灯片]

  [作业]
  
• 2024/09/27 张伟：

  第5章：函数的定义 [幻灯片]
  第6章：List Comprehension [幻灯片]

  [作业]
  
• 2024/10/09 张伟：

  第7章：递归函数 [幻灯片]
  第8章：高阶函数 [幻灯片]

  [作业]
  
• 2024/10/11 张伟：

  第9章：类型和类簇的声明/定义 [幻灯片]

  [作业]
  
• 2024/10/16 张伟：

  第9章：类型和类簇的声明/定义 [幻灯片]
  第10章：An Example: The Countdown Problem [幻灯片]

  [作业]
  
• 2024/10/18 张伟：

  第10章：An Example: The Countdown Problem [幻灯片]
  第11章：交互式程序设计 [幻灯片]

  [作业]
  
• 2024/10/23 张伟：

  第11章：交互式程序设计 [幻灯片]
  第12章：Monads and More [幻灯片]
  第12章：Monads and More(带动画版PPT) [幻灯片]

  [作业]
  
• 2024/10/25 张伟：

  第12章：Monads and More(范畴论版PPT) [幻灯片]

  [作业]
  
• 2024/10/30 张伟：

  第12章：Monads and More(范畴论版PPT) [幻灯片]

  [作业]
  
• 2024/11/1 张伟：

  第13章：Monadic Parser [幻灯片]

  [作业]
  
• 2024/11/6 张伟：

  第14章：Foldables and Friends [幻灯片]
  第15章：计算模型—Lazy Evaluation [幻灯片]

  [作业]
  
• 2024/11/20 胡振江：

  Chapter 16: Introduction to Calculational Programming [幻灯片]
  Chapter 17: Basics of Agda [幻灯片]

  [作业]
  
• 2024/11/27 胡振江：

  Chapter 17: Basics of Agda [幻灯片]
  Chapter 18: Natural Numbers in Agda [幻灯片]

  [作业]
  
• 2024/12/4 胡振江：

  Chapter 18: Natural Numbers in Agda [幻灯片]
  Chapter 19: Lists in Agda [幻灯片]

  [作业]
  
• 2024/12/11 胡振江：

  Chapter 19: Lists in Agda [幻灯片]
  Chapter 20: Internal Verification [幻灯片]

  [作业]
  
• 2024/12/18 胡振江：

  第21章： 等式理论 [幻灯片]
  Chapter 22. Bird Meertens Formalism (BMF) [幻灯片]

  [作业]
  
• 2024/12/20 胡振江：

  第23章：序列理论概述 (in Agda) [幻灯片]

  [作业]