Migrating Gradual Types - A Framework for Static and Dynamic Type Migration

Explore a 25-minute conference presentation from POPL 2018 that introduces migrational typing, an innovative approach to efficiently managing type annotations in gradually typed programs. Learn how researchers from the University of Louisiana at Lafayette and Oregon State University developed a method that automatically evaluates all possible combinations of type annotations, enabling programs to migrate between static and dynamic typing states. Discover how this solution scales linearly with program size, performs only 2-4 times slower than traditional gradual typing, and helps developers either maximize static typing or minimize dynamic types needed to resolve type errors. Understand the challenges of manual type annotation management and how migrational typing's systematic approach can be customized to meet specific annotation modification requirements.