DARTS.6.2.14.pdf
- Filesize: 326 kB
- 2 pages
Document
Scala with Explicit Nulls (Artifact)
Authors
Abel Nieto 
,
Ondřej Lhoták ,
-
Part of:
Issue:
Special Issue of the 34th European Conference on Object-Oriented Programming (ECOOP 2020)
Volume: DARTS, Volume 6 (ECOOP 2020)
Conference: European Conference on Object-Oriented Programming (ECOOP)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2020-11-06
Artifact Description
Document Identifiers
Author Details
Acknowledgements
We would like to thank Sébastien Doeraene, Fengyun Liu, Guillaume Martres, and Martin Odersky for their feedback on our explicit nulls design and their help with Dotty.
Cite As Get BibTex
Abel Nieto, Yaoyu Zhao, Ondřej Lhoták, Angela Chang, and Justin Pu. Scala with Explicit Nulls (Artifact). In Special Issue of the 34th European Conference on Object-Oriented Programming (ECOOP 2020). Dagstuhl Artifacts Series (DARTS), Volume 6, Issue 2, pp. 14:1-14:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
https://doi.org/10.4230/DARTS.6.2.14
Artifact
DARTS-6-2-14-artifact-5aa27baba97d324c2e28d5361e5a672e.zip
(Filesize: 5.12 GB)
MD5 Sum:
5aa27baba97d324c2e28d5361e5a672e
(Get MD5 Sum)
Abstract
This artifact is a companion to the paper "Scala with Explicit Nulls", where we present a modification to the Scala type system that makes nullability explicit in the types. Specifically, we make reference types non-nullable by default, while still allowing for nullable types via union types. The artifact contains an implementation of this new type system design as a fork of the Dotty (Scala 3) compiler. Additionally, the artifact contains the source code of multiple Scala libraries that we used to evaluate our design.
Subject Classification
ACM Subject Classification
- Software and its engineering → General programming languages
- Theory of computation → Denotational semantics
- Theory of computation → Type theory
- Software and its engineering → Interoperability
Keywords
- Scala
- Java
- nullability
- language interoperability
- type systems
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads