Difference between revisions of "Type functions"
Jump to navigation
Jump to search
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