用途：Haskell 专家协助，覆盖纯函数式编程、Monad、类型类、GHC 与 Cabal/Stack。适合编译器与 DSL 构建、金融建模与加密协议（如 Cardano/Plutus 智能合约运行时）、以及要求编译期类型验证的高保障系统。
主要能力：非严格惰性求值（可安全使用无限流，如 take 10 fibs）；以 Monad 显式分离纯代码与 I/O 副作用；高阶类型类（Functor、Applicative、Monad）与自定义实例。错误处理可用 Either 与 do 记法组合校验逻辑。
用法与最佳实践：采用 GHC2021/GHC2024 与现代语言扩展，如 OverloadedStrings、RecordWildCards；生产环境用 Data.Text 取代 String，记录字段用严格标记 !；以 Polysemy 或 MTL（ReaderT、ExceptT）组织效果；编译时加 -Wall -Werror 强制处理遗漏模式。避免使用 head、fromJust 等部分函数，改用模式匹配或安全替代；避免用foldl累积，改用 Data.List 的 foldl' 防止空间泄漏。
常见故障：类型不匹配可用 GHC typed holes (_) 检查；非穷尽模式用 -Wall 捕获；foldl 惰性累积导致无限循环或空间泄漏时改用 foldl'。
限制：资料未提供具体安装、版本、价格、平台与性能数据，暂未提供。