GHC

GHC是Haskell语言的主要编译器，支持众多语言扩展，如PolyKinds、DataKinds、TypeFamilies等，是Haskell生态的核心工具。