Suggesting valid hole fits for typed-holes (experience report)
Journal article, 2018

Type systems allow programmers to communicate a partial specification of their program to the compiler using types, which can then be used to check that the implementation matches the specification. But can the types be used to aid programmers during development? In this experience report I describe the design and implementation of my lightweight and practical extension to the typed-holes of GHC that improves user experience by adding a list of valid hole fits and refinement hole fits to the error message of typed-holes. By leveraging the type checker, these fits are selected from identifiers in scope such that if the hole is substituted with a valid hole fit, the resulting expression is guaranteed to type check. © 2018 ACM.

Suggestions

Valid Hole Fits

Typed-Holes

GHC

Author

Matthías Páll Gissurarson

Software Technology, Group C2

ACM SIGPLAN Notices

1523-2867 (ISSN)

Vol. 53 7 179-185

Subject Categories

Computer Engineering

Embedded Systems

Computer Science

DOI

10.1145/3242744.3242760

More information

Latest update

6/24/2020