Modules as Gradually-Typed Objects


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.


Michael Homer, James Noble, Kim B. Bruce, and Andrew P. Black

Published in

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

Author copy: download

Michael Homer — 2015