Skip to main content
Kent Academic Repository

Enumerating Counter-Factual Type Error Messages with an Existing Type Checker (poster+demo)

Tsushima, Kanae, Chitil, Olaf (2014) Enumerating Counter-Factual Type Error Messages with an Existing Type Checker (poster+demo). In: 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, 17-19 November 2014, Singapore. (KAR id:49006)

PDF (Poster as presented at the symposium.) Author's Accepted Manuscript
Language: English
Download this file
[thumbnail of Poster as presented at the symposium.]
Request a format suitable for use with assistive technology e.g. a screenreader
Official URL:


The Hindley-Milner type system is a foundation for most statically typed

functional programming languages, such as ML, OCaml and Haskell. This type

system has many advantageous, but it does make type debugging hard: If a

program is not well-typed, it can be difficult for the programmer to locate the

cause of the type error, that is, to determine where to change the program how.

Many solutions to the problem have been proposed. Here we propose a new

solution with two distinctive advantages: It is easy to use for the functional

programmer, because it appears to be only a minor extension of the type error

messages they are already familiar with. It is easy to implement, because it does

not require the implementation of a new type checker, but instead reuses any

existing one as a subroutine (like [2]).

Item Type: Conference or workshop item (Poster)
Uncontrolled keywords: Hindley-Milner type system, debugging, type error
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.76 Computer software
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Olaf Chitil
Date Deposited: 11 Jun 2015 10:17 UTC
Last Modified: 16 Feb 2021 13:25 UTC
Resource URI: (The current URI for this page, for reference purposes)

University of Kent Author Information

  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.