回顾与展望

回顾

恭喜完成 Haskell 函数式编程 课程！

通过本课程的学习，你现在应该能够独立编写相当复杂的 Haskell 程序，例如上一课中的迷宫求解器。

具体来说，你已经掌握了以下内容：

• 熟悉最重要的预定义 Haskell 数据类型，包括 数字、字符串、列表 和 元组。
• 掌握了丰富的函数编写工具，包括 递归函数 和 高阶函数。
• 理解了 Haskell 函数式编程的核心概念，如 柯里化、惰性求值 和 lambda 表达式。
• 能够自定义数据类型，并将其加入 类型类 中。
• 能够处理 输入/输出 操作，并将其与纯函数式程序结合使用。

展望

如果你希望继续深入学习 Haskell，以下是接下来可以探索的一些主题：

• 可以进一步学习 类型类，例如数值类型类的层次结构，或可用于映射的 Functor 类型类。
• 一个特别重要且功能强大的类型类是 Monad，它用于组织大型函数式程序，处理副作用或带有状态的计算。IO 就是一个 单子 的例子。
• 当性能至关重要时，必须离开纯粹无副作用的计算世界，转而使用 可变状态。这一概念也可以通过类型系统进行封装，就像 IO 操作一样。
• Haskell 的类型系统还有许多其他强大特性值得探索，例如 记录类型、广义代数数据类型 以及 类型级别编程 技术。
• 有一套核心的 Haskell 库（或库族）被广泛使用，例如：
  • QuickCheck（测试）
  • Parsec（解析）
  • Lens（操作复杂的嵌套类型）

深入研究这些库将有助于理解“Haskell 式”的问题解决方法。