论文信息 - How to Repair Type Errors Automatically

How to Repair Type Errors Automatically

This chapter introduces a novel system for generating type error messages which suggest ways of repairing mistakes. Both the theory behind this, and the implementation (as part of the MLj compiler) are described.

Bruce J. McAdam

[1] Bruce J. McAdam,et al. Repairing type errors in functional programs , 2002 .

[2] Dominic Duggan,et al. Explaining Type Inference , 1996, Sci. Comput. Program..

[3] Jun Yang. Explaining Type Errors by Finding the Source of a Type Conflict , 1999, Scottish Functional Programming Workshop.

[4] Kwangkeun Yi,et al. Proofs about a folklore let-polymorphic type inference algorithm , 1998, TOPL.

[5] Eugene W. Stark,et al. Debugging Type Errors (Full version) , 1995 .

[6] Richard Statman,et al. On the unification problem for Cartesian closed categories , 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.

[7] Patrick Lincoln,et al. Adventures in Associative-Commutative Unification , 1989, J. Symb. Comput..

[8] Ryan Stansifer,et al. Explaining type errors in polymorphic languages , 1993, LOPL.

[9] Mitchell Wand. Finding the source of type errors , 1986, POPL '86.

[10] Bruce J. McAdam. On the Unification of Substitutions in Type Interfaces , 1998, IFL.

[11] Robin Milner,et al. Definition of standard ML , 1990 .

[12] Olaf Chitil,et al. Compositional explanation of types and algorithmic debugging of type errors , 2001, ICFP '01.

[13] Robin Milner,et al. Principal type-schemes for functional programs , 1982, POPL '82.

[14] Kwangkeun Yi,et al. A Generalized Let-Polymorphic Type Inference Algorithm , 2000 .

[15] Bruce James McAdam. On the unification of substitutions in type inference , 1999 .