跳到主要内容
步芽

【极致中配】CMU15-150: 函数式编程原理 Principles of Functional Programming

CMU 经典函数式编程课，用 Standard ML 讲解等价推理、归纳证明、类型多态、高阶函数、并行成本分析、模块系统与惰性求值等核心原理。

难度
难度 4/5 — 严格证明式函数式编程，涉及并行成本分析与惰性求值，需较强抽象与递归思维
适合人群
计算机专业学生及想系统掌握函数式编程与形式化推理的自学者
前置要求
编程基础（了解基本编程概念即可，无需特定语言）、离散数学与归纳法（熟悉数学归纳、递归定义有帮助）、ML/SML 语言（课程使用 Standard ML，可边学边用）
课程规模
44 讲 · 2379播放
在 B 站免费观看 →就这门课提问 →排进我的学习路线

主题覆盖

等价与作用域归纳与递归结构归纳与尾递归树渐进复杂度分析排序与并行多态高阶函数续延传递风格(CPS)异常处理模块与函子红黑树与惰性序列

课程大纲（44 讲）

  1. P1 · 1. Prologue（重制版）66 分钟
  2. P2 · 2. Equivalence, Binding, and Scope（重制版）66 分钟
  3. P3 · 3. Induction and Recursion（重制版）62 分钟
  4. P4 · 4. Structural Induction and Tail Recursion（重制版）53 分钟
  5. P5 · 5. Trees（重制版）65 分钟
  6. P6 · 6. Asymptotic Analysis（重制版）60 分钟
  7. P7 · 7. Sorting and Parallelism（重制版）64 分钟
  8. P8 · 8. Polymorphism（重制版）63 分钟
  9. P9 · 9. Higher-Order Functions（重制版）62 分钟
  10. P10 · 10. Combinators and Staging（重制版）62 分钟
  11. P11 · 11. Continuation-Passing Style（重制版）70 分钟
  12. P12 · 12. Exceptions（重制版）61 分钟
  13. P13 · 13. Regular Expressions（重制版）53 分钟
  14. P14 · 14. Structures and Signatures（重制版）59 分钟
  15. P15 · 15. Functors（重制版）61 分钟
  16. P16 · 16. Red-Black Trees（重制版）62 分钟
  17. P17 · 17. Sequences（重制版）57 分钟
  18. P18 · 18. Lazy Programming（重制版）63 分钟
  19. P19 · 19. Imperative Programming（重制版）57 分钟
  20. P20 · 20. Compilers（重制版）71 分钟
  21. P21 · 21. Program Analysis（重制版）72 分钟
  22. P22 · 22. Finale（重制版）70 分钟
  23. P23 · 1. Prologue66 分钟
  24. P24 · 2. Equivalence, Binding, and Scope66 分钟
  25. P25 · 3. Induction and Recursion62 分钟
  26. P26 · 4. Structural Induction and Tail Recursion53 分钟
  27. P27 · 5. Trees65 分钟
  28. P28 · 6. Asymptotic Analysis60 分钟
  29. P29 · 7. Sorting and Parallelism64 分钟
  30. P30 · 8. Polymorphism63 分钟
  31. P31 · 9. Higher-Order Functions62 分钟
  32. P32 · 10. Combinators and Staging62 分钟
  33. P33 · 11. Continuation-Passing Style70 分钟
  34. P34 · 12. Exceptions61 分钟
  35. P35 · 13. Regular Expressions53 分钟
  36. P36 · 14. Structures and Signatures59 分钟
  37. P37 · 15. Functors61 分钟
  38. P38 · 16. Red-Black Trees62 分钟
  39. P39 · 17. Sequences57 分钟
  40. P40 · 18. Lazy Programming63 分钟
  41. P41 · 19. Imperative Programming57 分钟
  42. P42 · 20. Compilers71 分钟
  43. P43 · 21. Program Analysis72 分钟
  44. P44 · 22. Finale70 分钟

本课程卡由 AI 生成，可能存在误差，欢迎反馈。