%0 Book Section %1 jones-type-classes-fundeps-2000 %A Jones, MarkP. %B Programming Languages and Systems %D 2000 %E Smolka, Gert %I Springer Berlin Heidelberg %K dependencies functional fundeps haskell %P 230--244 %R 10.1007/3-540-46425-5_15 %T Type Classes with Functional Dependencies %U http://dx.doi.org/10.1007/3-540-46425-5_15 %V 1782 %X Type classes in Haskell allow programmers to define functions that can be used on a set of different 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. %@ 978-3-540-67262-3

@incollection{jones-type-classes-fundeps-2000, abstract = {Type classes in Haskell allow programmers to define functions that can be used on a set of different 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.}, added-at = {2014-06-20T14:18:24.000+0200}, author = {Jones, MarkP.}, biburl = {https://www.bibsonomy.org/bibtex/23f6311dfec3bdb907751833427b68d16/mhwombat}, booktitle = {Programming Languages and Systems}, doi = {10.1007/3-540-46425-5_15}, editor = {Smolka, Gert}, interhash = {0c60e0cf4a39212c853b5e2f04588754}, intrahash = {3f6311dfec3bdb907751833427b68d16}, isbn = {978-3-540-67262-3}, keywords = {dependencies functional fundeps haskell}, language = {English}, pages = {230--244}, publisher = {Springer Berlin Heidelberg}, series = {Lecture Notes in Computer Science}, timestamp = {2016-07-12T19:25:30.000+0200}, title = {Type Classes with Functional Dependencies}, url = {http://dx.doi.org/10.1007/3-540-46425-5_15}, volume = 1782, year = 2000 }