Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/42131
Title: Interactive Type Debugging in Haskell
Authors: Stuckey, P.J.
Sulzmann, M. 
Wazny, J.
Keywords: Constraints
Hindley/Milner
Overloading
Type classes
Type debugging
Type inference
Issue Date: 2003
Source: Stuckey, P.J.,Sulzmann, M.,Wazny, J. (2003). Interactive Type Debugging in Haskell. Proceedings of the 2003 ACM SIGPLAN Haskell Workshop : 72-83. ScholarBank@NUS Repository.
Abstract: In this paper we illustrate the facilities for type debugging of Haskell programs in the Chameleon programming environment. Chameleon provides an extension to Haskell supporting advanced and programmable type extensions. Chameleon maps the typing problem for a program to a system of constraints each attached to program code that generates the constraints. We use reasoning about constraint satisfiability and implication to find minimal justifications of type errors, and to explain unexpected types that arise. Through an interactive process akin to declarative debugging, a user can track down exactly where a type error occurs. The approach handles Hindley/Milner types with Haskell-style overloading. The Chameleon system provides a full implementation of our flexible type debugging scheme which can be used as a front-end to any existing Haskell system.
Source Title: Proceedings of the 2003 ACM SIGPLAN Haskell Workshop
URI: http://scholarbank.nus.edu.sg/handle/10635/42131
ISBN: 1581137583
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

54
checked on Dec 9, 2017

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.