Improving type error diagnosis

Proceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04

Volumn , Issue , 2004, Pages 80-91

  Stuckey, Peter J ^a   Sulzmann, Martin ^b   Wazny, Jeremy ^a  

^a UNIVERSITY OF MELBOURNE   (Australia)

^b NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

Constraints; Hindley Milner; Overloading; Type classes; Type debugging; Type inference

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; HEURISTIC METHODS; PROGRAM COMPILERS; PROGRAM DEBUGGING;

HINDLEY/MILNER; TYPE CLASSES; TYPE DEBUGGING; TYPE INFERENCE;

ERROR DETECTION;

EID: 11244296286     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1017472.1017486     Document Type: Conference Paper

References (23)

1. S. Abdennadher. Operational semantics and confluence of constraint propagation rules. In Proc. of CP'97, volume 1330 of LNCS, pages 252-266. Springer-Verlag, 1997.
2. O. Chitil. Compositional explanation of types and algorithmic debugging of type errors. In Proc. of ICFP'01, pages 193-204. ACM Press, 2001.
3. G.J. Duck, S. Peyton-Jones, P.J. Stuckey, and M. Sulzmann. Sound and decidable type inference for functional dependencies, 2004. to appear.
4. T. Frühwirth. Constraint handling rules. In Constraint Programming: Basics and Trends, volume 910 of LNCS. Springer-Verlag, 1995.
5. Glasgow haskell compiler home page. http://www.haskell.org/ghc/.
6. C. Haack and J. B. Wells. Type error slicing in implicitly typed, higher-order languages. In Proc. of ESOP'03, volume 2618 of LNCS, pages 284-301. Springer-Verlag, 2003.
7. Bastiaan Heeren, Jurriaan Hage, and S. Doaitse Swierstra. Scripting the type inference process. In Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, pages 3-13. ACM Press, 2003.
8. Helium home page, http://www.cs.uu.nl/~afie/helium/.
9. F. Huch, O. Chitil, and A. Simon. Typeview: a tool for understanding type errors. In M. Mohnen and P. Koopman, editors, Proceedings of 12th International Workshop on Implementation of Functional Languages, pages 63-69. Aachner Informatik-Berichte, 2000.
10. Hugs home page, http://www.haskell.org/hugs/.
11. M. P. Jones. Type classes with functional dependencies. In Proc. of 9th European Sympsosium on Programming Languages and Systems, pages 230-244, 2000.
12. S. Peyton Jones and M. Shields. Practical type inference for arbitrary-rank types, 2004. Under consideration for publication in J. Functional Programming.
13. O. Lee and K. Yi. A generalized let-polymorphic type inference algorithm. Technical Memorandum ROPAS-2000-5, National Creative Research Center, Korea Advanced Institute of Science and Technology, March 2000.
14. K. Marriott and P.J. Stuckey. Programming with Constraints: an Introduction. MIT Press, 1998.
15. B.J. McAdam. Generalising techniques for type debugging. In Trends in Functional Programming, pages 49-57, March 2000.
16. M. Neubauer and P. Thiemann. Discriminative sum types locate the source of type errors. In Proc. of ICFP'03, pages 15-26. ACM Press, 2003.
17. nhc98 home page, haskell.org/nhc98/.
18. P. J. Stuckey and M. Sulzmann. A theory of overloading. In Proc. of ICFP'02, pages 167-178. ACM Press, 2002.
19. P.J. Stuckey, M. Sulzmann, and J. Wazny. Interactive type debugging in Haskell. In Proc. of Haskell Workshop'03, pages 72-83. ACM Press, 2003.
20. M. Sulzmann and J. Wazny. Chameleon. http://www.comp.nus.edu.sg/ ~sulzmann/chameleon.
21. M. Wand. Finding the source of type errors. In Proc. of POPL'86, pages 38-43. ACM Press, 1986.
22. J. Yang, G. Michaelson, and P. Trinder. Explaining polymorphic types, 2001.
23. J. Yang, J. Wells, P. Trinder, and G. Michaelson. Improved type error reporting. In Proceedings of 12th International Workshop on Implementation of Functional Languages, pages 71-86, 2000.