How to Evaluate Blame for Gradual Types, Part 2
How to Evaluate Blame for Gradual Types, Part 2
复制标题
如何评估渐进型的责备，第 2 部分
DOI：
10.1145/3607836
复制
发表时间：
2023
影响因子：
--
通讯作者：
Dimoulas, Christos
中科院分区：
文献类型：
--
作者：
Lazarek, Lukas;Greenman, Ben;Felleisen, Matthias;Dimoulas, Christos
为现有的编程语言配备渐进式类型系统需要两个主要步骤。在学术界，第一个也是最明显的是增加类型符号和类型检查装置。第二，高度实用的一种是为大量现有的无类型库提供类型贴面；这样做可以使类型化组件导入功能片段并对其使用进行类型检查，而无需对库进行任何更改。当程序员为库创建这种类型的贴面时，他们会犯一些持续存在的错误并造成麻烦。问题是，学术界研究的渐进式类型系统的运行时检查是否有助于程序员调试此类错误。本文通过理性程序员的调查提供了这个问题的第一个令人惊讶的答案：单独的运行时检查通常不如底层语言的安全检查有用。但是，将自然运行时检查与责备相结合，可以提供更好的调试提示。
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.
登录
查看更多内容
渐变类型的完整监听器
影响因子：
--
作者：
Greenman, Ben;Felleisen, Matthias;Dimoulas, Christos
通讯作者：
Dimoulas, Christos
寻找最小类型错误源
DOI：
--
发表时间：
2014
期刊：
Software Engineering & Management
影响因子：
--
作者：
Zvonimir Pavlinovic;Tim King;Thomas Wies
通讯作者：
Thomas Wies
如何修复打字错误以及学生们做了什么？
DOI：
--
发表时间：
2017
期刊：
Proc. ACM Program. Lang.
影响因子：
--
作者：
Baijun Wu;Sheng Chen
通讯作者：
Sheng Chen
声音渐进打字已经死了吗？
DOI：
--
发表时间：
2016
期刊：
ACM-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
作者：
Asumu Takikawa;Daniel Feltey;B. Greenman;Max S. New;J. Vitek;M. Felleisen
通讯作者：
M. Felleisen
高级类型系统可以使用吗？
DOI：
--
发表时间：
2020
期刊：
Proc. ACM Program. Lang.
影响因子：
--
作者：
Michael J. Coblenz;Jonathan Aldrich;B. Myers;Joshua Sunshine
通讯作者：
Joshua Sunshine