Skip to main content

Delta Debugging Type Errors with a Blackbox Compiler

Sharrad, Joanna, Chitil, Olaf, Wang, Meng (2019) Delta Debugging Type Errors with a Blackbox Compiler. In: Proceedings of the 30th Symposium on Implementation and Application of Functional Languages. . pp. 13-24. ACM ISBN 978-1-4503-7143-8. (doi:10.1145/3310232.3310243)

PDF - Author's Accepted Manuscript
Download (259kB) Preview
[img]
Preview
Official URL
https://doi.org/10.1145/3310232.3310243

Abstract

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 output of the Glasgow Haskell Compiler; overall we obtain positive results in favour of our method of type error debugging.

Item Type: Conference or workshop item (Proceeding)
DOI/Identification number: 10.1145/3310232.3310243
Divisions: Faculties > Sciences > School of Computing
Depositing User: Olaf Chitil
Date Deposited: 22 May 2019 08:46 UTC
Last Modified: 07 Jun 2019 08:16 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/74037 (The current URI for this page, for reference purposes)
Chitil, Olaf: https://orcid.org/0000-0001-7986-9929
  • Depositors only (login required):

Downloads

Downloads per month over past year