5.1.1.1 语言特性概览

文档摘要

5.1.1.1 语言特性概览 5.1.1.1 语言特性概览：当不再是语法糖，而是一把打开惰性求值黑箱的钥匙你有没有在 Haskell 项目上线后，凌晨三点盯着 GHCi 的输出发呆？那个本该只占几 KB 的，在内存中膨胀成 200MB 的“幽灵结构”；那个用写的“显然惰性”的列表拼接，在一触即溃——不是栈溢出，而是堆内存耗尽；那个你自信满满标注了的辅助函数，编译后发现根本没被内联，反而因多一层 thunk 被 GHC 拖慢了 17%。这不是类型错误。没有编译失败，没有模式匹配警告，没有函数提示。这是 Haskell 最沉默、最狡猾、也最常被教科书轻轻带过的真相：语言特性不是静态的语法清单，而是运行时行为的契约签名；