Difference between revisions of "Type functions"
From HaskellWiki
m |
m |
||
| Line 16: | Line 16: | ||
[[Category:Proposals]] | [[Category:Proposals]] | ||
| − | [[Category:Type-level | + | [[Category:Type-level programming]] |
Revision as of 20:16, 30 June 2007
Type functions in Haskell are supported in a number of ways.
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 here