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, Andrew P. Black
7th Workshop on Dynamic Languages and Applications (DYLA
Michael Homer — 2018