Please use this identifier to cite or link to this item:
|Title:||Interactive Type Debugging in Haskell|
|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|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Dec 9, 2017
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.