Julia Subtyping: A Rational Reconstruction

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

Julia Subtyping: A Rational Reconstruction

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Julia Subtyping: A Rational Reconstruction

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

—

Návaznosti

R - Projekt Ramcoveho programu EK

Rok uplatnění

2018

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Journal Proceedings of the ACM on Programming Languages,Volume 2 Issue, OOPSLA

ISBN

—

ISSN

2475-1421

e-ISSN

—

Počet stran výsledku

27

Strana od-do

—

Název nakladatele

ACM

Místo vydání

New York

Místo konání akce

Boston

Datum konání akce

4. 11. 2018

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—