Type Class Directives

Bastiaan Heeren, Jurriaan Hage

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationPractical Aspects of Declarative Languages. PADL 2005
EditorsManuel Hermenegildo, Daniel Cabeza
Number of pages15
ISBN (Electronic)9783540305576
ISBN (Print)9783540243625
Publication statusPublished - 2005

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Dive into the research topics of 'Type Class Directives'. Together they form a unique fingerprint.

Cite this