by John Boyland Paper presented at FOOL 2014 (SPLASH co-located workshop, Portland, OR)
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.
The PDF is available here. The slides for the presentation are also available.
Last Modified: October 20, 2014The Problem of Structural Type Tests in a Gradual-Typed Language email@example.com