打字的洞

Haskell 的优势之一是能够利用类型系统对类型系统中的问题域的部分进行建模。在这样做时，人们经常会遇到非常复杂的类型。当编写具有这些类型的程序时（即具有这些类型的值），偶尔变得几乎无法管理所有类型的玩杂耍。从 GHC 7.8 开始，有一种称为打字孔的新语法特征。键入的孔不会改变核心语言的语义; 它们纯粹是为了帮助编写程序。

有关打字孔的深入解释，以及对打字孔设计的讨论，请参阅 Haskell 维基 。

关于打字孔的 GHC 用户指南的部分。