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.
|
Year | DOI | Venue |
---|---|---|
2005 | 10.1145/1090189.1086397 | Special Interest Group on Programming Languages |
Keywords | Field | DocType |
associated types,generic programming,type classes,type functions,type inference | Programming language,Programmer,Computer science,Synonym,Type theory,Type inference,Theoretical computer science,Functional dependency,Data type,Haskell,Generic programming | Conference |
Volume | Issue | ISSN |
40 | 9 | 0362-1340 |
ISBN | Citations | PageRank |
1-59593-064-7 | 70 | 3.02 |
References | Authors | |
20 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Manuel M. T. Chakravarty | 1 | 666 | 41.89 |
Gabriele Keller | 2 | 657 | 36.02 |
Simon L. Peyton Jones | 3 | 5036 | 381.19 |