Glasgow Haskell Compiler
Haskellの言語標準には幾つかの拡張が提案されている。これらの言語拡張は言語仕様では記述されていない機能を提供するか、既存の構造を再定義している。これらの言語拡張は全てのHaskell処理系が対応しているわけではない。言語拡張を記述し、将来の言語仕様に含めるものを選択する継続的な努力が行われている。
GHCが対応している言語拡張は以下の通りである。
ボックス化されていない型と操作。これらはヒープへのポインタの間接参照や遅延評価の可能性を除外して、基礎となるハードウェアのプリミティブ型を表す。数多くのコードは、これらの型を使用することにより大幅な高速化が可能である。
値、パターン・バインディング、データ型領域の正格評価を指定する機能。
モジュール・パターン・リスト内包表記・演算子・レコード・タプルの操作により便利な構文。
矢印を使用して計算するための糖衣構文と再帰的に定義されたモナドの値。これらはどちらも言語標準のモナドのdo-notationを拡張している。
Template Haskell(英語版)は、コンパイル時のメタプログラミングのためのシステムである。