GHC（Glasgow Haskell Compiler）

概述

GHC（Glasgow Haskell Compiler）是 Haskell 语言事实上的标准编译器，1989 年起源于格拉斯哥大学，长期由 Simon Peyton Jones、Simon Marlow 等人主导开发，现为开源社区项目。

架构

GHC 将 Haskell 源码脱糖为极小的中间语言 Core（System F 的扩展变体），在 Core 上进行内联、严格性分析、融合（fusion）等大量优化，再经 STG、Cmm 逐层下译，最终生成本地代码或经由 LLVM 输出。其运行时系统提供轻量级绿色线程、抢占式调度与软件事务内存（STM）。

语言扩展

GHC 通过数以百计的语言扩展成为类型系统研究的试验场：GADTs、类型族、RankNTypes、DataKinds、线性类型等特性大多先在 GHC 落地，再影响其他语言。

地位

「Haskell」在工程语境中几乎等同于「GHC Haskell」，GHC 的演进直接定义了这门语言的边界。