IK
и пример не на 10 строк
Size: a a a
2021 September 03
BB
А что за задача? Если кратко выйдет
D
Честно говоря за всю мою практику не встречал подобного даже близко, но и похвастаться огромным запасом опыта не могу
IK
задача простая - имея тип Т получить все его возможные ключи
BB
Ну да, у тс есть такие приколы но кажется такое и далеко не для каждого проекта с тсом
МЗ
Посмотри тайпинги популярных либ
Там такого много насколько я помню
Там такого много насколько я помню
D
На проектах обычно ребята оставляли либо полное говно с any(что плохая практика) либо описывали всё нормально. Но конкретно чтобы такие костыли делать...
IK
это не костыль. У вас есть тип, вы хотите строго типизировать другой тип который может содержать только ключи что есть в вашем типе
IK
Заметьте как вы сразу заклеймили "костылем"
IK
Так вот в чем проблема:
новичок пишет type Keys<T> = keyof T потому что ведь это же очевидно
новичок пишет type Keys<T> = keyof T потому что ведь это же очевидно
IK
и это работает.... до тех пор пока однажды тип Т не становится юнионом
BB
Стоп, а чем изначальный тип не подходит?
Как бы такое решалось бы в том же .net или любом другом языке со строгой типизацией?
Как бы такое решалось бы в том же .net или любом другом языке со строгой типизацией?
IK
задача подучить множество ключей объекта
IK
не сам объект
IK
так вот - и тогда оказывается что keyof - ведет себя контрвариантно, и поэтому при наличии юниона извлекает ключи которые есть только во всех частях юниона
TS
гипноз фанатиков мешает
BB
Ааа, теперь разъяснилось
IK
чтобы решить эту проблему мы делаем distributed conditional type пользуясь тем, что если у нас в conditional type лежит дженерик с юнионом - тайпскрипт применит операцию к каждой части юниона
IK
поэтому и появляется
T extends any - которое всегда истинно - чтобы сделать distributed typeD
Может тогда стоит бороться с наивными предубеждениями которые стоят возле технологии а не с самой технологией? :)
Высказывания мол "скоро умрет как coffescript" звучит как попытка убедить что оно уже мертво а не прогнозирование
Высказывания мол "скоро умрет как coffescript" звучит как попытка убедить что оно уже мертво а не прогнозирование