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 Oct
|10:30 - 11:00|
|11:00 - 11:30|
John BoylandUniversity of Wisconsin, MilwaukeeFile Attached
|11:30 - 12:00|