SPLASH 2014 (series) / FOOL (series) / Foundations of Object-Oriented Languages /
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.
(type-test-talkSlides.pdf) | 106KiB |
(ProblemOfStructuralTest.pdf) | 187KiB |
Mon 20 Oct
10:30 - 12:00: FOOL - Research Papers at Salon G Chair(s): Marco ServettoVictoria University of Wellington | ||||||||||||||||||||||||||||||||||||||||||
10:30 - 11:00 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||
11:00 - 11:30 Talk | John BoylandUniversity of Wisconsin, Milwaukee File Attached | |||||||||||||||||||||||||||||||||||||||||
11:30 - 12:00 Talk | File Attached |