Scripting the type inference process

Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra

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

23 Citations (Scopus)


To improve the quality of type error messages in functional programming languages,we propose four techniques which influence the behaviour of constraint-based type inference processes. These techniques take the form of externally supplied type inference directives, precluding the need to make any changes to the compiler. A second advantage is that the directives are automatically checked for soundness with respect to the underlying type system. We show how the techniques can be used to improve the type error messages reported for a combinator library. More specifically, how they can help to generate error messages which are conceptually closer to the domain for which the library was developed. The techniques have all been incorporated in the Helium compiler, which implements a large subset of Haskell.
Original languageEnglish
Title of host publicationProceedings of the eighth ACM SIGPLAN international conference on Functional programming
Subtitle of host publicationICFP '03
PublisherAssociation for Computing Machinery
Number of pages11
ISBN (Print)1581137567
Publication statusPublished - 25 Aug 2003


Dive into the research topics of 'Scripting the type inference process'. Together they form a unique fingerprint.

Cite this