A Spectrum of Type Soundness and Performance

被引:0
|
作者
Greenman, Ben [1 ]
Felleisen, Matthias [1 ]
机构
[1] Northeastern Univ, PLT, Boston, MA 02115 USA
来源
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL | 2018年 / 2卷
关键词
migratory typing; type soundness; performance evaluation; D-deliverable;
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
The literature on gradual typing presents three fundamentally different ways of thinking about the integrity of programs that combine statically typed and dynamically typed code. This paper presents a uniform semantic framework that explains all three approaches, illustrates how each approach affects a developer's work, and adds a systematic performance comparison for a single implementation platform.
引用
收藏
页数:32
相关论文
共 50 条