Обработка исключений (Exception handling)

•Язык должен обеспечивать механизм восстановления в неожиданных аварийных ситуациях

Статическая типизация (static typing)

•Хорошо определенная система типов гарантирует безопасность работы с объектами во время выполнения программной системы

Универсальность (genericity)

•Должна существовать возможность создания классов с формальными родовыми параметрами, представляющими произвольные типы

Одиночное наследование (single inheritance)

•Должно быть возможным объявить класс наследником другого класса

Множественное наследование (Multiple inheritance)

•Класс должен иметь возможность быть наследником нескольких классов.

•Конфликты имен при наследовании разрешаются адекватным механизмом.

Дублируемое наследование (Repeated inheritance)

•При дублируемом наследовании судьбой компонентов должны управлять точно определенные правила, позволяющие разработчикам выбирать для каждого такого компонента разделение, либо дублирование

Ограниченная универсальность (Constrained genericity)

•Механизм универсальности должен поддерживать форму ограниченной универсальности

Полиморфизм

•Должна иметься возможность в период выполнения присоединять к сущности объекты различных возможных типов под управлением наследования

Динамическое связывание

•Вызов сущностью компонента всегда должен запускать тот компонент, который соответствует типу присоединенного объекта, а не типу сущности