Skip to main content

Programming in Haskell, Second Edition 中文翻译

说明​

本目录用于翻译 Graham Hutton 的 Programming in Haskell, Second Edition。维护者已确认该书可翻译并发布用于学习研究。本译文会按章节逐步推进，并保留必要的英文术语，便于读者对照原书学习。

目录​

第 I 部分：基础概念（Basic Concepts）​

  1. 第 1 章：引言（Introduction）​

  2. 第 2 章：初步实践（First steps）​

  3. 第 3 章：类型与类（Types and classes）​

  4. 第 4 章：定义函数（Defining functions）​

  5. 第 5 章：列表推导式（List comprehensions）​

  6. 第 6 章：递归函数（Recursive functions）​

  7. 第 7 章：高阶函数（Higher-order functions）​

  8. 第 8 章：声明类型与类（Declaring types and classes）​

  9. 第 9 章：倒计时问题（The countdown problem）​

第 II 部分：深入学习（Going Further）​

  1. 第 10 章：交互式编程（Interactive programming）​

  2. 第 11 章：不可战胜的井字棋（Unbeatable tic-tac-toe）​

  3. 第 12 章：单子及更多内容（Monads and more）​

  4. 第 13 章：单子解析（Monadic parsing）​

  5. 第 14 章：Foldable 及相关抽象（Foldables and friends）​

  6. 第 15 章：惰性求值（Lazy evaluation）​

  7. 第 16 章：程序推理（Reasoning about programs）​

  8. 第 17 章：推导编译器（Calculating compilers）​

附录​

  1. 附录 A：精选习题解答（Selected solutions）​

  2. 附录 B：标准 Prelude（Standard prelude）​

翻译进度​

  • 第 1 章：引言（Introduction）
  • 第 2 章：初步实践（First steps）
  • 第 3 章：类型与类（Types and classes）
  • 第 4 章：定义函数（Defining functions）
  • 第 5 章：列表推导式（List comprehensions）
  • 第 6 章：递归函数（Recursive functions）
  • 第 7 章：高阶函数（Higher-order functions）
  • 第 8 章：声明类型与类（Declaring types and classes）
  • 第 9 章：倒计时问题（The countdown problem）
  • 第 10 章：交互式编程（Interactive programming）
  • 第 11 章：不可战胜的井字棋（Unbeatable tic-tac-toe）
  • 第 12 章：单子及更多内容（Monads and more）
  • 第 13 章：单子解析（Monadic parsing）
  • 第 14 章：Foldable 及相关抽象（Foldables and friends）
  • 第 15 章：惰性求值（Lazy evaluation）
  • 第 16 章：程序推理（Reasoning about programs）
  • 第 17 章：推导编译器（Calculating compilers）
  • 附录 A：精选习题解答（Selected solutions）
  • 附录 B：标准 Prelude（Standard prelude）

后续计划​

完成本书后，继续推进 Real World OCaml: Functional Programming for the Masses, Second Edition 的中文翻译。