课程讲义

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

• 2026/09/09 胡振江：

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

  [作业]
  
• 2026/09/11 张伟：

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

  [作业]
  
• 2026/09/16 张伟：

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

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

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

  [作业]
  
• 2026/09/23 张伟：

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

  [作业]
  
• 2026/09/30 张伟：

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

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

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

  [作业]
  
• 2026/10/14 张伟：

  第9章：声明类型和类簇 [幻灯片]

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

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

  [作业]
  
• 2026/10/21 张伟：

  第11章：交互式程序设计 [幻灯片]
  第12章：Monads and More [幻灯片]

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

  第12章：Monads and More [幻灯片]

  [作业]
  
• 2026/10/28 张伟：

  第12章：Monads and More [幻灯片]
  第13章：Monadic Parser [幻灯片]

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

  第14章：Foldables and Friends [幻灯片]
  第15章：计算模型—Lazy Evaluation [幻灯片]
  范畴论基础概念 [幻灯片]

  [作业]