Gofer（プログラミング言語）

Gofer（方程式推論に優れている）は、プログラミング言語Haskellの教育用実装であり、Haskellレポートバージョン1.2に基づく言語をサポートしています。Hugsに置き換えられました。^{[ 1 ]}

その構文は、後に標準化されたHaskellよりも、初期の商用言語Mirandaに近い。Haskellの一部の機能（データ型定義のderiving節など）は欠落しているが、Haskellでは採用されなかった多くの機能を備えている（ただし、リスト内包表記の構文を一般化して任意のモナドをサポートするなど、後にGHCに組み込まれた機能もあり、これは現在MonadComprehensions拡張機能で利用可能となっている）。