Difference between revisions of "GHC/Type system"
< GHC
Jump to navigation
Jump to search
BrettGiles (talk | contribs) m (Link, headings) |
|||
| Line 1: | Line 1: | ||
| − | = Type system extensions in GHC |
+ | <span style='font-size: x-large; font-weight: bold'>Type system extensions in GHC</span> |
GHC comes with a rather large collection of type-system extensions (beyond Haskell 98). They are all documented in the [http://www.haskell.org/ghc/docs/latest/html/users_guide/type-extensions.html user manual], but this page is a place to record observations, notes, and suggestions on them. |
GHC comes with a rather large collection of type-system extensions (beyond Haskell 98). They are all documented in the [http://www.haskell.org/ghc/docs/latest/html/users_guide/type-extensions.html user manual], but this page is a place to record observations, notes, and suggestions on them. |
||
| Line 13: | Line 13: | ||
== Stand-alone deriving clauses == |
== Stand-alone deriving clauses == |
||
| − | Bjorn Bringert has recently implemented [[GHC/ |
+ | Bjorn Bringert has recently implemented [[GHC/Stand-alone deriving declarations|"stand-alone deriving" declarations]]. |
----------------------- |
----------------------- |
||
Revision as of 19:09, 1 November 2006
Type system extensions in GHC
GHC comes with a rather large collection of type-system extensions (beyond Haskell 98). They are all documented in the user manual, but this page is a place to record observations, notes, and suggestions on them.
Overlapping instances
Here an interesting message about the interaction of existential types and overlapping instances.
Indexed data types and indexed newtypes
Indexed data types (including associated data types) are a very recent addition to GHC's type system extensions that is not yet included in the user manual. To use the extension, you need to obtain a version of GHC from its source repository.
Stand-alone deriving clauses
Bjorn Bringert has recently implemented "stand-alone deriving" declarations.