模式匹配是 Haskell 中的一种强大特性，用于检查数据结构并从中提取值。以下是一些常见的模式匹配用法示例： 函数定义中的模式匹配 -- 定义一个计算阶乘的函数 factorial :: Integer -> Integer factorial 0 = 1 factorial n = n *
纯函数 惰性求值 类型系统 模式匹配 高阶函数 函数组合 单子（Monad） 函子（Functor） 应用函子（Applicative Functor） 类型类 不可变数据 列表推导 递归 尾递归优化 类型推导 类型别名 <
