用途：这是一个面向 Haskell 的编码风格指南，以 GHC 首席架构师 Simon Peyton Jones 的风格编写函数式代码，重点在于让惰性与纯函数真正可实用、可高效运行。资料来自一份风格说明，无独立安装命令。
主要能力与原则：强调默认惰性、纯函数便于编译器优化、强静态类型在编译期发现错误，以及理解运行时行为。写作时建议理解严格性与惰性、在需要时使用 bang patterns、优化前先做 profiling、编写小而可组合的函数、让编译器进行 inline 与 specialize、通过 Core 输出理解性能。
代码模式：资料给出若干示例。惰性可表达无限结构，如 naturals = [1..] 与 zipWith 生成的斐波那契数列；但 foldl (+) 0 会累积 thunk 造成空间泄漏，应改用 foldl' (+) 0。严格性方面可用 BangPatterns、严格数据字段（!Double）与 {-# UNPACK #-}。融合方面，sum . map (*2) . filter even 可被 GHC 融合为单循环，避免中间列表；建议使用 map、filter、foldr、concatMap，避免在高热路径使用 length、(!!)、reverse。newtype 提供零开销抽象与类型安全，例如 UserId、Email、Money。多态代码可通过 SPECIALIZE、INLINABLE 或单态化降低字典传递开销。理解 Core 可用 ghc -O2 -ddump-simpl 查看是否融合。递归可用累加器与 worker/wrapper，也可用 continuation-passing 处理复杂控制流。
适用场景：适用于编写、审查或重构 Haskell 代码，尤其是关注性能、空间泄漏、融合与类型安全的场景。
限制：资料仅描述风格与代码模式，未提供安装方式、工具版本、收费信息或具体平台支持；部分内容为原则性建议，需结合具体 GHC 版本与 profiling 结果判断。