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 this file (PDF/649kB) |
Preview |
| Request a format suitable for use with assistive technology e.g. a screenreader | |
| 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
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 justin-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.
| 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: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
| Depositing User: | Stefan Marr |
| Date Deposited: | 09 Jun 2019 21:16 UTC |
| Last Modified: | 05 Nov 2024 12:37 UTC |
| Resource URI: | https://kar.kent.ac.uk/id/eprint/74327 (The current URI for this page, for reference purposes) |
University of Kent Author Information
Marr, Stefan.
| Creator's ORCID: |
 https://orcid.org/0000-0001-9059-5180
|
|---|---|
| CReDIT Contributor Roles: |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
Altmetric
Altmetric
