How to Evaluate the Performance of Gradual Type Systems
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21240%2F19%3A00329971" target="_blank" >RIV/68407700:21240/19:00329971 - isvavai.cz</a>
Result on the web
<a href="https://doi.org/10.1017/S0956796818000217" target="_blank" >https://doi.org/10.1017/S0956796818000217</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1017/S0956796818000217" target="_blank" >10.1017/S0956796818000217</a>
Alternative languages
Result language
angličtina
Original language name
How to Evaluate the Performance of Gradual Type Systems
Original language description
A sound gradual type system ensures that untyped components of a program can never break the guarantees of statically typed components. This assurance relies on runtime checks, which in turn impose performance overhead in proportion to the frequency and nature of interaction between typed and untyped components. The literature on gradual typing lacks rigorous descriptions of methods for measuring the performance of gradual type systems. This gap has consequences for the implementors of gradual type systems and developers who use such systems. Without systematic evaluation of mixed-typed programs, implementors cannot precisely determine how improvements to a gradual type system affect performance. Developers cannot predict whether adding types to part of a program will significantly degrade (or improve) its performance. This paper presents the first method for evaluating the performance of sound gradual type systems. The method quantifies both the absolute performance of a gradual type system and the relative performance of two implementations of the same gradual type system. To validate the method, the paper reports on its application to twenty programs and three implementations of Typed Racket.
Czech name
—
Czech description
—
Classification
Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
—
Continuities
R - Projekt Ramcoveho programu EK
Others
Publication year
2019
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
JOURNAL OF FUNCTIONAL PROGRAMMING
ISSN
0956-7968
e-ISSN
1469-7653
Volume of the periodical
29
Issue of the periodical within the volume
February
Country of publishing house
GB - UNITED KINGDOM
Number of pages
52
Pages from-to
—
UT code for WoS article
000459316400001
EID of the result in the Scopus database
2-s2.0-85061983103