The behavior of gradual types: a user study
The behavior of gradual types: a user study
复制标题
渐进类型的行为：用户研究
DOI：
10.1145/3276945.3276947
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Krishnamurthi, Shriram
中科院分区：
文献类型：
--
作者：
Tunnell Wilson, Preston;Greenman, Ben;Pombrio, Justin;Krishnamurthi, Shriram
有几种不同的渐进类型语义，反映了性能和类型健全性保证之间的不同权衡。然而，值得注意的是，没有任何关于开发人员真正喜欢哪种语义的数据。我们开始通过调查专业开发人员、计算机科学学生和 Mechanical Turk 工人对三种渐进打字语义的偏好来纠正这一缺陷。这些语义反映了设计空间中的重要点，对应于 Typed Racket、TypeScript 和 Reticulated Python 的行为。我们最重要的发现是，我们的受访者更喜欢完全强制执行静态声明类型的运行时语义。
There are several different gradual typing semantics, reflecting different trade-offs between performance and type soundness guarantees. Notably absent, however, are any data on which of these semantics developers actually prefer.We begin to rectify this shortcoming by surveying professional developers, computer science students, and Mechanical Turk workers on their preferences between three gradual typing semantics. These semantics reflect important points in the design space, corresponding to the behaviors of Typed Racket, TypeScript, and Reticulated Python. Our most important finding is that our respondents prefer a runtime semantics that fully enforces statically declared types.
登录
查看更多内容
DOI：
10.2307/j.ctt7zw8pz.4
发表时间：
2018-01
期刊：
Cerveau & Psycho
影响因子：
--
作者：
S. Dieguez
通讯作者：
S. Dieguez
DOI：
--
发表时间：
2017
期刊：
Summit on Advances in Programming Languages
影响因子：
--
作者：
Justin Pombrio;S. Krishnamurthi;Kathi Fisler
通讯作者：
Kathi Fisler
DOI：
10.1007/978-3-540-73589-2_2
发表时间：
2007-07
期刊：
--
影响因子：
--
作者：
Jeremy G. Siek;Walid Taha
通讯作者：
Jeremy G. Siek;Walid Taha
严重组织损伤
影响因子：
2.6
作者：
M. H. Thornhill;R K Simmons;M. Pemberton;E. Theaker
通讯作者：
E. Theaker
声音渐进打字已经死了吗？
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