Difference between revisions of "Type functions"

From HaskellWiki
Jump to: navigation, search
m
m
Line 16: Line 16:
   
 
[[Category:Proposals]]
 
[[Category:Proposals]]
[[Category:Type-level Programming]]
+
[[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