Loading...
conference paper
Initialization patterns in Dotty
September 28, 2018
Scala 2018: Proceedings of the 9th ACM SIGPLAN International Symposium on Scala
Safe object initialization is important to avoid a category of runtime errors in programming languages. In this paper, we provide a case study of the initialization patterns on the Dotty compiler. In particular, we find that calling dynamic-dispatching methods, the usage of closures and instantiating nested classes are important for initialization of Scala objects. Based on the study, we conclude that existing proposals for safe initialization are inadequate for Scala.
Type
conference paper
Authors
Publication date
2018-09-28
Published in
Scala 2018: Proceedings of the 9th ACM SIGPLAN International Symposium on Scala
Start page
51
End page
55
Peer reviewed
REVIEWED
EPFL units
Available on Infoscience
November 27, 2018
Use this identifier to reference this record