Skip to main content

Transient Typechecks are (Almost) Free

Roberts, Richard, Marr, Stefan, Homer, Michael, Noble, James (2019) Transient Typechecks are (Almost) Free. In: 33rd European Conference on Object-Oriented Programming, 15-19 July 2019, London, UK. (doi:10.4230/LIPIcs.ECOOP.2019.5) (KAR id:74327)

PDF Author's Accepted Manuscript
Language: English
Download (704kB) Preview
[img]
Preview
Official URL
http://doi.org/10.4230/LIPIcs.ECOOP.2019.5

Abstract

Transient gradual typing imposes run-time type tests that typically cause a linear slowdown in

adding types to a program makes the program slower. A virtual machine can employ standard justin-time optimizations to reduce the overhead of transient checks to near zero. These optimizations

so programmers can add types to their code without affecting their programs’ performance.

Item Type: Conference or workshop item (Paper)
DOI/Identification number: 10.4230/LIPIcs.ECOOP.2019.5
Uncontrolled keywords: dynamic type checking, gradual types, optional types, Grace, Moth, object-oriented programming
Divisions: Faculties > Sciences > School of Computing
Depositing User: Stefan Marr
Date Deposited: 09 Jun 2019 21:16 UTC
Last Modified: 12 Jul 2019 14:01 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/74327 (The current URI for this page, for reference purposes)
Roberts, Richard: https://orcid.org/0000-0002-3462-8539
Marr, Stefan: https://orcid.org/0000-0001-9059-5180
Homer, Michael: https://orcid.org/0000-0003-0280-6748
Noble, James: https://orcid.org/0000-0001-9036-5692
  • Depositors only (login required):

Downloads

Downloads per month over past year