Opening book details…
Can I read Is Sound Gradual Typing Dead? on EtoBox?
Is Sound Gradual Typing Dead? by Asumu Takikawa; Daniel Feltey; Ben Greenman; Max S. New; Jan Vitek; Matthias Felleisen is a Computer Science article available to read on EtoBox.
What is Is Sound Gradual Typing Dead? about?
Programmers have come to embrace dynamically-typed languages for prototyping and delivering large and complex systems. When it comes to maintaining and evolving these systems, the lack of explicit static typing becomes a bottleneck. In response, researchers have explored the idea of gradually-typed programming languages which allow the incremental addition of type annotations to software written in one of these untyped languages. Some of these new, hybrid languages insert run-time checks at the boundary between typed and untyped code to establish type soundness for the overall system. With sound gradual typing, programmers can rely on the language implementation to provide meaningful error messages when type invariants are violated. While most research on sound gradual typing remains theoretical, the few emerging implementations suffer from performance overheads due to these checks. None of the publications on this topic comes with a comprehensive performance evaluation. Worse, a few report disastrous numbers. In response, this paper proposes a method for evaluating the performance of gradually-typed programming languages. The method hinges on exploring the space of partial convers
Who reads Is Sound Gradual Typing Dead??
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Asumu Takikawa; Daniel Feltey; Ben Greenman; Max S. New; Jan Vitek; Matthias Felleisen
- Publisher
- Association for Computing Machinery (ACM)
- Published
- 2016
- Language
- EN
- Field
- Computer Science (Physical Sciences)