Interactive type debugging in Haskell

@inproceedings{Stuckey2003InteractiveTD,
  title={Interactive type debugging in Haskell},
  author={Peter J. Stuckey and Martin Sulzmann and Jeremy Wazny},
  booktitle={Haskell},
  year={2003}
}
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… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 40 CITATIONS

References

Publications referenced by this paper.