Open Access Te Herenga Waka-Victoria University of Wellington
Browse

Transient typechecks are (almost) free

conference contribution
posted on 2022-11-08, 00:09 authored by Richard Roberts, S Marr, Michael HomerMichael Homer, Robert Noble
Transient gradual typing imposes run-time type tests that typically cause a linear slowdown. 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.

History

Preferred citation

Roberts, R., Marr, S., Homer, M. & Noble, J. (2019, July). Transient typechecks are (almost) free. In Leibniz International Proceedings in Informatics, LIPIcs (134 ). https://doi.org/10.4230/LIPIcs.ECOOP.2019.5

Title of proceedings

Leibniz International Proceedings in Informatics, LIPIcs

Volume

134

Publication or Presentation Year

2019-07-01

Publication status

Published

ISSN

1868-8969

Usage metrics

    Conference papers

    Categories

    No categories selected

    Keywords

    Licence

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC