Difference between revisions of "Type functions"
Jump to navigation
Jump to search
m |
m |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
| − | + | GHC supports type functions in the form of [[GHC/Type families|type families]]. |
|
| − | |||
| − | Todo: fill this out. |
||
| − | |||
| − | == Type functions and type classes == |
||
| − | |||
| − | Todo |
||
| − | |||
| − | == Type functions and functional dependencies == |
||
| − | |||
| − | Todo |
||
| − | |||
| − | == Type functions and associated types == |
||
| − | |||
| − | Details of the new support for type functions is available [http://hackage.haskell.org/trac/ghc/wiki/TypeFunctions here] |
||
[[Category:Proposals]] |
[[Category:Proposals]] |
||
| − | [[Category:Type-level |
+ | [[Category:Type-level programming]] |
Revision as of 00:04, 14 August 2007
GHC supports type functions in the form of type families.