TY - GEN
T1 - Type Class Directives
AU - Heeren, Bastiaan
AU - Hage, Jurriaan
N1 - HH:typeclassdirectives
PY - 2005
Y1 - 2005
N2 - The goal of this paper is to improve the type error messages in the presence of Haskell 98 type classes, in particular for the non-expert user. As a language feature, type classes are very pervasive, and strongly influence what is reported and when, even in relatively simple programs. We propose four type class directives, and specialized type rules, to lend high-level support to compilers to improve the type error messages. Both have been implemented, and can be used to easily modify the behavior of the type inference process.
AB - The goal of this paper is to improve the type error messages in the presence of Haskell 98 type classes, in particular for the non-expert user. As a language feature, type classes are very pervasive, and strongly influence what is reported and when, even in relatively simple programs. We propose four type class directives, and specialized type rules, to lend high-level support to compilers to improve the type error messages. Both have been implemented, and can be used to easily modify the behavior of the type inference process.
U2 - 10.1007/978-3-540-30557-6_19
DO - 10.1007/978-3-540-30557-6_19
M3 - Conference contribution
SN - 9783540243625
T3 - Lecture Notes in Computer Science
SP - 253
EP - 267
BT - Practical Aspects of Declarative Languages. PADL 2005
A2 - Hermenegildo, Manuel
A2 - Cabeza, Daniel
PB - Springer
ER -