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. Black

Published in

7th Workshop on Dynamic Languages and Applications (DYLA), 2013

Resources

PDF
mwh.nz/pdf/dyla2013
this page
mwh.nz/pubs/dyla2013
Michael Homer — 2023 d38f60fb