Transient typechecks are (almost) free [Artifact]

79 17 453 5 1585 document 453 eval.tar.bz2 application/x-bzip2 26cbe255ecf86ea14de73361880e41be MD5 19944167 2019-06-10 14:30:09 https://data.kent.ac.uk/79/1/eval.tar.bz2 79 1 3 application/x-bzip2 other The measurement data from our experiments as well as a description how to reproduce plots from the paper. en public cc_by_nd

eval.tar.bz2

data 454 5 1587 document 454 ecoop19.ova application/x-tar 955279be02d3d3ff8f01bd01f3790eb2 MD5 5588494848 2019-06-10 14:40:34 https://data.kent.ac.uk/79/2/ecoop19.ova 79 2 2 application/x-tar other VirtualBox with all software to reproduce our experiments. en public cc_by_nd

ecoop19.ova

full_archive 455 4 1590 document 455 index.md text/plain d3469d02ab2709028faab4cc12c7a9ac MD5 12921 2019-06-10 14:41:10 https://data.kent.ac.uk/79/3/index.md 79 3 1 text/plain text en public cc_by_nd

index.md

readme archive 20 disk0/00/00/00/79 2019-06-11 14:30:54 2025-06-03 08:37:53 2019-06-11 14:30:54 data_collection show Roberts Richard rykardo.r@gmail.com 0000-0002-3462-8539 Marr Stefan s.marr@kent.ac.uk 0000-0001-9059-5180 Homer Michael mwh@ecs.vuw.ac.nz 0000-0003-0280-6748 Noble James kjx@ecs.vuw.ac.nz 0000-0001-9036-5692 Transient typechecks are (almost) free [Artifact] 47000 public dynamic type checking, gradual types, optional types, Grace, Moth, object-oriented programming Transient gradual typing imposes run-time type tests that typically cause a linear slowdown in programs' performance. This performance impact discourages the use of type annotations because adding types to a program makes the program slower. A virtual machine can employ standard just-in-time optimizations to reduce the overhead of transient checks to near zero. These optimizations can give gradually-typed languages performance comparable to state-of-the-art dynamic languages, so programmers can add types to their code without affecting their programs' performance. This artifact includes our implementation as part of Moth, an implementation of the Grace language on top of the Truffle/Graal platform. The artifact contains all elements of our empirical evaluation. It aims to enable other researchers to repeat our experiments, verify our results, and possibly extend our research. 2019-06-07 Royal Society of New Zealand Marsden Fund software pub 2019-06-11 2019-06-11 2022-04-14 12200/8 0 Programming Languages and Systems Group 2025-06-03 13100 School of Computing English English 2016-06 2019-06 10.5281/zenodo.3241810