Wed 10 Jan 2018 14:30 - 14:55 at Watercourt - Interpretation and Evaluation Chair(s): Atsushi Igarashi

Gradual typing allows programs to enjoy the benefits of both static typing and dynamic typing. While it is often desirable to migrate a program from more dynamically-typed to more statically-typed or vice versa, gradual typing itself does not provide a way to facilitate this migration. This places the burden on programmers who have to manually add or remove type annotations. Besides the general challenge of adding type annotations to dynamically typed code, there are subtle interactions between these annotations in gradually typed code that exacerbate the situation. For example, to migrate a program to be as static as possible, in general, all possible combinations of adding or removing type annotations from parameters must be tried out and compared.

In this paper, we address this problem by developing migrational typing, which efficiently types all possible ways of adding or removing type annotations from a gradually typed program. The typing result supports automatically migrating a program to be as static as possible, or introducing the least number of dynamic types necessary to remove a type error. The approach can be extended to support user-defined criteria about which annotations to modify. We have implemented migrational typing and evaluated it on large programs. The results show that migrational typing scales linearly with the size of the program and takes only 2–4 times longer than plain gradual typing.

Wed 10 Jan

POPL-2018-papers
13:40 - 15:20: Research Papers - Interpretation and Evaluation at Watercourt
Chair(s): Atsushi IgarashiKyoto University, Japan
POPL-2018-papers13:40 - 14:05
Talk
Lionel ParreauxEPFL, Antoine VoizardUniversity of Pennsylvannia, Amir ShaikhhaEPFL, Christoph E. KochEPFL
Pre-print
POPL-2018-papers14:05 - 14:30
Talk
Matt BrownUCLA, Jens PalsbergUniversity of California, Los Angeles (UCLA)
POPL-2018-papers14:30 - 14:55
Talk
John Peter Campora IIIULL Lafayette, Sheng ChenUniversity of Louisiana at Lafayette, Martin ErwigOregon State University, Eric WalkingshawOregon State University
POPL-2018-papers14:55 - 15:20
Talk
Casper Bach PoulsenDelft University of Technology, Arjen RouvoetDelft University of Technology, Andrew TolmachPortland State University, Robbert KrebbersDelft University of Technology, Eelco VisserDelft University of Technology
DOI Pre-print