A = string;
type B = number;
type C = A & B;
C безполезный тип, нельзя юзать ни string ни number
A и B не совместимы, но тайпскрипт позволяет смержить несмержимое
Доки перерыла, нет этому объяснения
В статьях почитала что Interface они более строгие, там такое не прокатит
А именованые типы получается не совсем строгие ?? Позволяет всякое ??
ну Цэ — ненаселённый тип, а-ля never, он не запрещён)
мм, нужно воспринимать как never
Тип С - по факту never - этот тип поддерживается (легальный) в ТС. Но как в вашем примере, конечно, никто не делает
Ясно. Я специально нарочно делаю нестандартные вещи чтоб лучше понять и научиться тайпскрипту
👍 так держать
C — не бесполезный тип. Это bottom type, вполне имеет применение
Обсуждают сегодня