Serokell 在 GHC 上的工作：依赖类型（第 5 部分）
来源：serokell.io — 2026-06-01
📋 概述
Serokell 的 GHC 团队继续推进 Haskell 的依赖类型。本期由 Vladislav Zavialov 呈现三大贡献与一系列改进：GADT 中的可见 forall、命名空间限定的导入、类型检查期的类型实例，外加统一 HsType/HsExpr、required 类型参数中的星号语法与打趣检测等。这些都在把「Dependent Haskell」推向可用的现实。
🔑 核心要点
- GHC 9.14 起 RequiredTypeArguments 支持 GADT 中的可见 forall。
- 新增命名空间限定导入与类型检查期的类型实例。
- 继续推进 HsType/HsExpr 的统一，新增 Tuple、Constraints 等类型族。
💡 金句
在我们敢啃下依赖积（Π-型）这块硬骨头之前，得先把可见 forall 这类量词逐一拿下。
👍 0
👎 0
← 返回 Lobsters 首页