Type Class Directives

Bastiaan Heeren, Jurriaan Hage

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

13 Citations (Scopus)

Abstract

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
PublisherSpringer
Pages253-267
Number of pages15
ISBN (Electronic)9783540305576
ISBN (Print)9783540243625
DOIs
Publication statusPublished - 2005

Publication series

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

Cite this