打字的洞

Haskell 的優勢之一是能夠利用型別系統對型別系統中的問題域的部分進行建模。在這樣做時,人們經常會遇到非常複雜的型別。當編寫具有這些型別的程式時(即具有這些型別的值),偶爾變得幾乎無法管理所有型別的玩雜耍。從 GHC 7.8 開始,有一種稱為打字孔的新語法特徵。鍵入的孔不會改變核心語言的語義; 它們純粹是為了幫助編寫程式。

有關打字孔的深入解釋,以及對打字孔設計的討論,請參閱 Haskell 維基

關於打字孔的 GHC 使用者指南的部分。