Итоги

В этом уроке вы узнали, что:

• размеченное объединение — это объединение типов объектов с общим свойством-тегом, например kind, у которого в каждом типе свой литеральный тип: type Item = { kind: "potion"; heal: number } | { kind: "weapon"; damage: number };. Проверка тега, if (item.kind === "potion"), сужает тип. TypeScript проверяет свойства каждого вида и замечает опечатки в видах.
• switch (item.kind) переходит к case с тем же значением; break или return завершает его, а без них программа проваливается в следующий вариант. default ловит остальное. Каждый case сужает тип.
• Проверка полноты в default, const unhandled: never = item; return unhandled;, заставляет TypeScript сообщать о каждом switch, в котором нет варианта для какого-то вида, и называет этот вид. never — тип, у которого нет значений.
• Record<Rarity, number> — объект ровно с ключами из Rarity и числом для каждого из них. Пропущенный ключ — ошибка, а prices[item.rarity] читает значение.
• const classes = ["warrior", "mage"] as const; — список точных значений только для чтения, а type HeroClass = (typeof classes)[number]; превращает его в объединение, так что список и тип всегда совпадают.
• Размеченное объединение может описывать и состояния одной вещи, у каждого из которых свои данные: только у квеста со status: "done" есть свойство reward.
• Вместо boolean с необязательными свойствами пишите объединение, чтобы невозможные сочетания нельзя было записать. Тегом может быть и boolean: { isLocked: false } | { isLocked: true; keyName: string }.

Дальше вас ждёт ещё один небольшой проект: книга заказов кузнеца, в которой вы самостоятельно примените типы объектов, объединения и размеченные объединения. А затем в уроке «Обобщения» вы научитесь писать функции и типы, которые работают с любым типом, а TypeScript по-прежнему следит, какой это тип: функцию, возвращающую первый элемент любого массива, или сундук, в котором может лежать любая добыча. И увидите, как работают типы с угловыми скобками, такие как Record.

А теперь практика. Путешествие Киры в редакторе — это список встреч: боёв, сокровищ и привалов.