Finding the source of type errors

  title={Finding the source of type errors},
  author={M. Wand},
  booktitle={POPL '86},
  • M. Wand
  • Published in POPL '86 1986
  • Computer Science
It is a truism that most bugs are detected only at a great distance from their source. Although polymorphic type-checking systems like those in ML help greatly by detecting potential run-time type errors at compile-time, such systems are still not very helpful for locating the source of a type error. Typically, an error is reported only when the type-checker can proceed no further, even though the programmer's actual error may have occurred much earlier in the text. We describe an algorithm… Expand
Explaining type errors in polymorphic languages
Finding the Source of Type Errors Interactively (draft)
Counter-factual typing for debugging type errors
Why that expression has this type, and how it got it
General Type Error Diagnostics Using MaxSMT
Enumerating Counter-Factual Type Error Messages with an Existing Type Checker