How to Evaluate Blame for Gradual Types, Part 2
Proceedings of the ACM on Programming Languages(2023)
摘要
Equipping an existing programming language with a gradual type system
requires two major steps. The first and most visible one in academia
is to add a notation for types and a type checking apparatus. The second, highly
practical one is to provide a type veneer for the large number of
existing untyped libraries; doing so enables typed components
to import pieces of functionality and get their
uses type-checked, without any changes to the libraries. When programmers create such typed veneers for
libraries, they make mistakes that persist and cause
trouble. The question is whether the academically investigated
run-time checks for gradual type systems assist programmers with
debugging such mistakes. This paper provides a first, surprising
answer to this question via a rational-programmer investigation:
run-time checks alone are typically less helpful than the safety checks of the underlying language.
Combining Natural run-time checks with blame, however, provides
significantly superior debugging hints.
更多查看译文
关键词
gradual typing, blame
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要