A spectrum of type soundness and performance

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 affect...

Full description

Saved in:
Bibliographic Details
Published in:Proceedings of ACM on programming languages 2018-09, Vol.2 (ICFP), p.1-32
Main Authors: Greenman, Ben, Felleisen, Matthias
Format: Article
Language:English
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:2475-1421
2475-1421
DOI:10.1145/3236766