Lesson plan
Gofer (programming language)
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. 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 several features which were not adopted by Haskell (although some were later incorporated into Glasgow Haskell Compiler (GHC), such as generalizing the list comprehension syntax to support any monad, which is now available using the MonadComprehensions extension).
Article summary
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. 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 several features which were not adopted by Haskell (although some were later incorporated into Glasgow Haskell Compiler (GHC), such as generalizing the list comprehension syntax to support any monad, which is now available using the MonadComprehensions extension).
Key claims
No claims recorded.
Discussion questions
- Summarise the article in your own words. Which single claim would you verify first, and why?
- Which claim in this article is most likely to be revised as the sources update? How would you check its current status?
- If two sources disagreed about one of these facts, what would you need in order to trust one over the other?
Bibliography
No sources recorded.
Key claims and bibliography are generated from the same tracked claims and sources as the article page.