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
7th Workshop on Dynamic Languages and Applications (DYLA), 2013
Author copy: download
Michael Homer — 2015