Conference Proceedings

Interactive Type Debugging in Haskell

PJ Stuckey, M Sulzmann, J Wazny

Proceedings of the ACM SIGPLAN 2003 Haskell Workshop | Published : 2003

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 overlo..

View full abstract

Citation metrics