Gofer (programming language)

{{About|the programming language|the Internet document-retrieval protocol|Gopher (protocol)}}

{{third-party|date=September 2018}}

{{one source |date=March 2024}}

Gofer (Good for equational reasoning) is an implementation of the programming language Haskell intended for educational purposes and supporting a language based on version 1.2 of the Haskell report. It was replaced by Hugs.{{cite web|url=https://www.haskell.org/hugs/pages/users_guide/faq.html#AEN1870|title=Frequently Asked Questions about Hugs|website=www.haskell.org}}

Its syntax is closer to the earlier commercial language Miranda than the subsequently standardized Haskell. It lacks some of the features of Haskell (such as the deriving clause in data type definitions) but includes a number of features which were not adopted by Haskell (although some were later incorporated into GHC, such as generalizing the list comprehension syntax to support any monad, which is now available using the MonadComprehensions extension).