The Problem of Structural Type Tests in a Gradual-Typed Language
Abstract: The Grace programming language includes structural type tests and gradual typing. We demonstrate that this combination results in a mismatch. In particular, structural type tests (but not structural type assertions) can cause programs to give different results after typing annotations are added. We review the current uses of type tests in Grace programs and propose potential ways forward, all of which have their own drawbacks.
Mon 20 OctDisplayed time zone: Tijuana, Baja California change
10:30 - 12:00
|Program Equivalence through Trace Equivalence|
|The Problem of Structural Type Tests in a Gradual-Typed Language|
John Boyland University of Wisconsin, MilwaukeeFile Attached
|Managing Gradual Typing with Message-Safety in Dart|