Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
Mon 20 Oct 2014 11:00 - 11:30 at Salon G - Research Papers Chair(s): Marco Servetto

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.