Abstract

. There is a long-standing schism in object-orientation between the safe but rigid statically typed languages, and the exible but less safe dynamically typed languages. This paper presents an enhancement of the exibility and expressive power of a statically typed language, based on an inheritance mechanism which allows both compile-time and run-time construction of classes, as well as dynamic specialization of objects. This enhanced exibility supports better separation of concerns in large systems and allows for more elegant and maintainable designs. Submethoding|inheritance applied to behavioral descriptors|has been used for the construction of control structures for many years, in Beta. With dynamic inheritance, submethoding becomes more expressive, supporting control structures as rst class values which may be constructed and combined dynamically. Even though the concept of submethoding is missing from most other languages, the basic idea could be applied to any statically typed...

Citations