Иерархия типов

Иерархия типов — это взаимная связь типов, в которой есть тип-родитель (базовый тип) и тип-потомок (производный тип). Производный тип наследует контракт базового типа и расширяет либо допустимые значения, либо контракт, либо и то и другое одновременно.

В основании иерархии типов лежит Объект. Этот тип является базовым для всех типов, кроме типа Неопределено.