Сужение типов (Type Narrowing)

Часть курса TypeScript

Объединение типов (union) говорит: "это значение одного из нескольких типов". Сужение типа (narrowing) - это то, как компилятор вычисляет, какого именно, опираясь на проверки, которые вы написали для времени выполнения. Нового синтаксиса в этом уроке почти нет, вся работа в том, чтобы читать код так же, как его читает компилятор.

Самый простой случай: параметр типа string | number. Внутри ветки if (typeof x === "string") компилятор знает, что x - это string, и разрешает вызывать на нём строковые методы. ...