Personal tools

Type functions

From HaskellWiki

(Difference between revisions)
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.

1 Type functions and type classes

Todo

2 Type functions and functional dependencies

Todo

3 Type functions and associated types

Details of the new support for type functions is available here