Compiler error messages considered unhelpful: The landscape of text-based programming error message research
Diagnostic messages generated by compilers and interpreters such as syntax error
messages have been researched for over half of a century. Unfortunately, these messages …
messages have been researched for over half of a century. Unfortunately, these messages …
Learning to blame: localizing novice type errors with data-driven diagnosis
Localizing type errors is challenging in languages with global type inference, as the type
checker must make assumptions about what the programmer intended to do. We introduce …
checker must make assumptions about what the programmer intended to do. We introduce …
Guarded impredicative polymorphism
The design space for type systems that support impredicative instantiation is extremely
complicated. One needs to strike a balance between expressiveness, simplicity for both the …
complicated. One needs to strike a balance between expressiveness, simplicity for both the …
Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong)
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 …
languages. We present a dynamic approach to explaining type errors by generating …
Inferring type rules for syntactic sugar
J Pombrio, S Krishnamurthi - ACM SIGPLAN Notices, 2018 - dl.acm.org
Type systems and syntactic sugar are both valuable to programmers, but sometimes at odds.
While sugar is a valuable mechanism for implementing realistic languages, the expansion …
While sugar is a valuable mechanism for implementing realistic languages, the expansion …
A compiler architecture for domain-specific type error diagnosis
Abstract Domain-specific languages (DSLs) permeate current programming practices. An
important kind of DSLs includes those developed and integrated within a host language …
important kind of DSLs includes those developed and integrated within a host language …
Type Error Customization in GHC: Controlling expression-level type errors by type-level programming
Embedded domain specific languages (DSLs) are a common pattern in the functional
programming world, providing very high-level abstractions to programmer. Unfortunately …
programming world, providing very high-level abstractions to programmer. Unfortunately …
Solved and open problems in type error diagnosis?
J Hage - CEUR Workshop Proceedings, 2020 - researchportal.hw.ac.uk
Solved and open problems in type error diagnosis? Page 1 Heriot-Watt University Research
Gateway Solved and open problems in type error diagnosis? Citation for published version …
Gateway Solved and open problems in type error diagnosis? Citation for published version …
Well-typed music does not sound wrong (experience report)
D Szamozvancev, MB Gale - Proceedings of the 10th ACM SIGPLAN …, 2017 - dl.acm.org
Music description and generation are popular use cases for Haskell, ranging from live
coding libraries to automatic harmonisation systems. Some approaches use probabilistic …
coding libraries to automatic harmonisation systems. Some approaches use probabilistic …