Magda: A New Language for Modularity


We introduce Magda, a modularity-oriented programming language. The language features lightweight mixins as units of code reuse, modular initial- ization protocols, and a hygienic approach to identi ers. In particular, Magda's modularity guarantees that client code of a library written in Magda will never break as a consequence of any addition of members to the library's mixins.