Delta Debugging Type Errors with a Blackbox Compiler

@article{Sharrad2018DeltaDT,
  title={Delta Debugging Type Errors with a Blackbox Compiler},
  author={Joanna Sharrad and O. Chitil and M. Wang},
  journal={Proceedings of the 30th Symposium on Implementation and Application of Functional Languages},
  year={2018}
}
  • Joanna Sharrad, O. Chitil, M. Wang
  • Published 2018
  • Computer Science
  • Proceedings of the 30th Symposium on Implementation and Application of Functional Languages
Debugging type errors is a necessary process that programmers, both novices and experts alike, face when using statically typed functional programming languages. All compilers often report the location of a type error inaccurately. This problem has been a subject of research for over thirty years. We present a new method for locating type errors: We apply the Isolating Delta Debugging algorithm coupled with a blackbox compiler. We evaluate our implementation for Haskell by comparing it with the… Expand

References

SHOWING 1-7 OF 7 REFERENCES
Finding the source of type errors
  • M. Wand
  • Computer Science
  • POPL '86
  • 1986
Type error slicing in implicitly typed higher-order languages
Searching for type-error messages
Why Programs Fail - A Guide to Systematic Debugging, 2nd Edition
Yesterday, my program worked. Today, it does not. Why?
Typehope: There is hope for your type errors
  • In Int. Workshop on Implementation of Functional Languages. https://www.informatik.uni-kiel.de/
  • 2004