Gofer (''Good for equational reasoning'') is an implementation of the programming language
Haskell
Haskell () is a general-purpose, statically-typed, purely functional programming language with type inference and lazy evaluation. Designed for teaching, research and industrial applications, Haskell has pioneered a number of programming lan ...
intended for educational purposes and supporting a language based on version 1.2 of the Haskell report. It was replaced by
Hugs.
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
A list comprehension is a Syntax of programming languages, syntactic construct available in some programming languages for creating a list based on existing list (computing), lists. It follows the form of the mathematical ''set-builder notation'' ( ...
syntax to support any monad, which is now available using the MonadComprehensions extension).
References
External links
Mark Jones' Gofer Archive– for
x86 PC
Gavin Wraith's RISC OS page– for
RISC OS
RISC OS is a computer operating system originally designed by Acorn Computers Ltd in Cambridge, England. First released in 1987, it was designed to run on the ARM chipset, which Acorn had designed concurrently for use in its new line of Archim ...
Declarative programming languages
Educational programming languages
Free Haskell implementations
Functional languages
Haskell programming language family
{{compu-prog-stub