Diagnostic messages generated by compilers and interpreters such as syntax error
messages have been researched for over half of a century. Unfortunately, these messages …

We introduce Analytic Program Repair, a data-driven strategy for providing feedback for type-
errors via repairs for the erroneous program. Our strategy is based on insight that similar …

Static type errors are a common stumbling block for newcomers to typed functional
languages. We present a dynamic approach to explaining type errors by generating …

Program analysis tools apply elegant algorithms—such as static analysis, model checking,
and type inference—on source code to help developers resolve compiler errors, apply …

The cause of a type error can be very difficult to find for the Hindley-Milner type system.
Consequently many solutions have been proposed, but they are hardly used in practice …

Embedded domain specific languages (DSLs) are a common pattern in the functional
programming world, providing very high-level abstractions to programmer. Unfortunately …

Cryptic type error messages are a major obstacle to learning OCaml or other ML-based
languages. In many cases, error messages cannot be interpreted without a sufficiently …

Debugging type errors is a necessary process that programmers, both novices and experts
alike, face when using statically typed functional programming languages. All compilers …

Understanding the cause of a type error can be challenging; for over 30 years, researchers
have proposed many sophisticated solutions that hardly made it into practice. Previously we …

Type inference is a popular feature of programming languages used to automatically
guarantee the absence of certain execution errors in programs at compile time. The …