Type unsoundness in practice: An empirical study of dart

Autor: StroccoFabio, MøllerAnders, MezzettiGianluca

Publikováno v: Mezzetti, G, Møller, A & Strocco, F 2016, Type unsoundness in practice: An empirical study of dart . in R Ierusalimschy (ed.), DLS 2016-Proceedings of the 12th Symposium on Dynamic Languages . Association for Computing Machinery, pp. 13-24, Amsterdam, Netherlands, 30/10/2016 . https://doi.org/10.1145/2989225.2989227
Proceedings of the 12th Symposium on Dynamic Languages
DLS

The type system in the Dart programming language is deliberately designed to be unsound: for a number of reasons, it may happen that a program encounters type errors at runtime although the static type checker reports no warnings. According to the la

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::21768353ce75dc641872fa29c02b9f6d
https://pure.au.dk/portal/da/publications/type-unsoundness-in-practice-an-empirical-study-of-dart(f9d75279-da55-46c8-a7fa-e9cd8517a53c).html