Julia Subtyping: A Rational Reconstruction
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21240%2F18%3A00329976" target="_blank" >RIV/68407700:21240/18:00329976 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1145/3276483" target="_blank" >http://dx.doi.org/10.1145/3276483</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1145/3276483" target="_blank" >10.1145/3276483</a>
Alternative languages
Result language
angličtina
Original language name
Julia Subtyping: A Rational Reconstruction
Original language description
Programming languages that support multiple dispatch rely on an expressive notion of subtyping to specify method applicability. In these languages, type annotations on method declarations are used to select, out of a potentially large set of methods, the one that is most appropriate for a particular tuple of arguments. Julia is a language for scientific computing built around multiple dispatch and an expressive subtyping relation. This paper provides the first formal definition of Julia's subtype relation and motivates its design. We validate our specification empirically with an implementation of our definition that we compare against the existing Julia implementation on a collection of real-world programs. Our subtype implementation differs on 122 subtype tests out of 6014476. The first 120 differences are due to a bug in Julia that was fixed once reported; the remaining 2 are under discussion.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
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
2018
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
Article name in the collection
Journal Proceedings of the ACM on Programming Languages,Volume 2 Issue, OOPSLA
ISBN
—
ISSN
2475-1421
e-ISSN
—
Number of pages
27
Pages from-to
—
Publisher name
ACM
Place of publication
New York
Event location
Boston
Event date
Nov 4, 2018
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—