Quote: how to add first-class generic types to Java or C#; mixins fully type checked, unlike templates

Quotation Skeleton

This paper describes how to add first-class generic … system is "first-class" if generic types can appear … e.g., a class C that extends T. Although … because C++ treats mixins as macros … Our formulation of mixins … accommodates sound local (class-by-class) type checking. A mixin … same context in which Java performs incremental class … it can be added to the existing Java …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: object-oriented templates and containers (27 items)
Topic: generic operations and polymorphism (65 items)