wiki:AssociatedTypes

Version 3 (modified by dons@…, 8 years ago) (diff)

typo

Associated Types

See ExtensionDescriptionHowto for information on how to write these extension descriptions. Please add any new extensions to the list of HaskellExtensions.

Brief Explanation

Associated types are data type and type synonym declarations in type classes. They are useful to denote type-indexed data types (i.e., generic programming) and functions over types. Applications include the typical applications of functional dependencies, but also self-optimising libraries and APIs that resemble ML module signatures.

References

Pros

Cons

  • Only a prototype implementation so far