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 initialization protocols, and a hygienic approach to identifiers. In particular, Magda's modularity guarantees that the client code of a library written in Magda will never break as a consequence of any addition of members to the library's mixins.