• Summary
• Related Documents
  • Active Bibliography
  • Co-citation
• Version History

Popular Tags

Add a tag:

No tags have been applied to this document.

BibTeX | Add To MetaCart

@INPROCEEDINGS{Jones00typeclasses,
    author = {Mark Jones},
    title = {Type Classes with Functional Dependencies},
    booktitle = {},
    year = {2000},
    pages = {230--244},
    publisher = {Springer-Verlag}
}

Years of Citing Articles

Bookmarks

         

OpenURL

 

Abstract:

. Type classes in Haskell allow programmers to define functions that can be used on a set of di#erent types, with a potentially different implementation in each case. For example, type classes are used to support equality and numeric types, and for monadic programming. A commonly requested extension to support `multiple parameters' allows a more general interpretation of classes as relations on types, and has many potentially useful applications. Unfortunately, many of these examples do not work well in practice, leading to ambiguities and inaccuracies in inferred types and delaying the detection of type errors. This paper illustrates the kind of problems that can occur with multiple parameter type classes, and explains how they can be resolved by allowing programmers to specify explicit dependencies between the parameters. A particular novelty of this paper is the application of ideas from the theory of relational databases to the design of type systems. 1 Introduction ...

Citations