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.


Publié dans:
51-55
Année
Sep 28 2018
Autres identifiants:
Laboratoires:




 Notice créée le 2018-11-27, modifiée le 2019-05-07


Évaluer ce document:

Rate this document:
1
2
3
 
(Pas encore évalué)