Type class directives (2005)
| Venue: | In Seventh International Symposium on Practical Aspects of Declarative Languages |
| Citations: | 8 - 1 self |
BibTeX
@INPROCEEDINGS{Heeren05typeclass,
author = {Bastiaan Heeren and Jurriaan Hage},
title = {Type class directives},
booktitle = {In Seventh International Symposium on Practical Aspects of Declarative Languages},
year = {2005},
pages = {253--267},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. The goal of this paper is to improve the type error messages inthepresenceofHaskell 98 type classes, in particular for the nonexpert 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.
