Tue 27 Oct 2015 15:30 - 15:54 at Grand Station 3 - Session 4, Empirical Studies

Following the increased popularity of dynamic languages and their increased use in critical software, there have been many proposals to retrofit static type system to these languages to improve possibilities to catch bugs and improve performance. A key question for any type system is whether the types should be structural, for more expressiveness, or nominal, to carry more meaning for the programmer. For retrofitted type systems, it seems the current trend is using structural types. This paper attempts to answer the question to what extent this extra expressiveness is needed, and how the possible polymorphism in dynamic code is used in practise. We study polymorphism in 36 real-world open source Python programs and approximate to what extent nominal and structural types could be used to type these programs. The study is based on collecting traces from multiple runs of the programs and analysing the polymorphic degrees of targets at more than 7 million call-sites. Our results show that while polymorphism is used in all pro- grams, the programs are to a great extent monomorphic. The poly- morphism found is evenly distributed across libraries and program- specific code and occur both during program start-up and normal execution. Most programs contain a few “megamorphic” call-sites where receiver types vary widely. The non-monomorphic parts of the programs can to some extent be typed with nominal or structural types, but none of the approaches can type entire programs.

Tue 27 Oct

dls2015
15:30 - 17:30: DLS - Session 4, Empirical Studies at Grand Station 3
dls201515:30 - 15:54
Talk
Beatrice ÅkerblomStockholm University, Tobias WrigstadUppsala University
dls201515:54 - 16:18
Talk
dls201516:18 - 16:42
Talk
Madhukar KedlayaUniversity of California, Santa Barbara, Behnam RobatmiliQualcomm Research, Ben HardekopfUC Santa Barbara
dls201516:42 - 17:06
Talk
Lars FischerUniversity of Duisburg-Essen, Essen, Germany, Stefan HanenbergUniversity of Duisburg-Essen
dls201517:06 - 17:30
Talk
Camille TeruelINRIA, Stéphane DucasseINRIA, France, Damien CassouLille 1 University, Marcus Denker INRIA Lille