Система типов
Остается свобода и в выборе способа формирования типов. Единственным средством формирования типов, наличия которого требуют авторы, является инкапсуляция. Возможны другие формирователи типов, такие как родовые типы, генераторы типов и т.д.
