A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is
Associated type synonyms
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming - ICFP '05
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.doi:10.1145/1086365.1086397 dblp:conf/icfp/ChakravartyKJ05 fatcat:xujmsfz66zcptburxz2ezpasvq