Initialization patterns in Dotty

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.


Published in:
51-55
Year:
Sep 28 2018
Other identifiers:
Laboratories:




 Record created 2018-11-27, last modified 2018-11-27


Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)