In Proceedings of The Tenth ACM SIGPLAN International Conference on Functional Programming, ACM Press, pages 241-253, 2005.
Abstract
Haskell programmers often use a multi-parameter type class in which
one or more type parameters are functionally dependent on the first.
Although such functional dependencies have proved
quite popular in practice, they express the programmer's intent
somewhat indirectly. Developing earlier work on associated data types,
we propose to add functionally-dependent types as type
synonyms to type-class bodies.
These associated type synonyms constitute an interesting new
alternative to explicit functional dependencies.
PostScript version (13 pages)
Phrac is a type checker and interpreter for a Haskell-like language with associated type synonyms:
Authors: Gabriele Keller, Don Stewart, and Stefan Wehr
This page is part of Manuel Chakravarty's WWW-stuff.