Пустой набор, который не содержит значений, меньше остальных. В TypeScript он соответствует типу never. Так как его область пуста, то переменной типа never не могут быть присвоены никакие значения
Такие наборы называют областью типов. К примеру, можно воспринимать тип number как набор числовых значений. В него будут входить 42, -37,5, но никак не 'Canada'. В зависимости же от настройки опции strictNullChecks, null и undefined могут являться или не являться частью области.
JavaScript применяет утиную типизацию, а TypeScript ее моделирует при помощи структурной типизации. В связи с этим значения, присваиваемые вашим интерфейсам, могут иметь свойства, не указанные в объявленных типах. Типы в TypeScript не бывают запечатанными.
• Типы TypeScript недоступны при выполнении, и для обращения к ним необходимо найти способ их перестроить. Обычно это делается с помощью тип-суммы или проверки свойств. Некоторые конструкции, например class, представляют одновременно и тип TypeScript, и доступное при выполнении значение.