Modules as Gradually-Typed Objects
Abstract
Grace is a gradually typed, object-oriented language for use in education. Grace needs a module system for several reasons: to teach students about modular program design, to organise large programs, especially its self-hosted implementation, and to provide access to resources defined in other languages. Grace uses its basic organising construct, objects, to provide modules, and is then able to use its gradual structural typing to obtain a number of interesting features without any additional mechanisms.
Authors
Michael Homer, James Noble, Kim B. Bruce, Andrew P. BlackPublished in
7th Workshop on Dynamic Languages and Applications (DYLA), 2013Resources
- Author copy (PDF)
- mwh.nz/pdf/dyla2013
- this page
- mwh.nz/pubs/dyla2013