Всем привет, прохожу задания из https://github.com/type-challenges/type-challenges Завис на Includes, подскажите почему

Question

Всем привет, прохожу задания из https://github.com/type-challenges/type-challenges Завис на Includes, подскажите почему

при Includes<[boolean], false> тип возвращает boolean

type Includes<T extends readonly any[], U> =
T extends [infer Head, ...infer Rest]
? Head extends U
? true
: Includes<Rest, U>
: false;

Вроде бы ничего не может вернуться кроме true | false

#programming #russian #typescript

0

09.06.2023

5 ответов

34 просмотра

Iurii Mamaev

Вместо Head extends U вот так Equal<Head, U> extends true.

0

09.06.2023

Iurii Mamaev

У тебя получается там boolean по той причине, что первым элементом массива берется boolean, который при дистрибутивности распадается на true | false, каждый из которых в такой проверке Head extends false дает при true - false, при false - true, итоговый результат true | false, который собирается в boolean.

0

09.06.2023

Евгений

Iurii Mamaev
Вместо Head extends U вот так Equal<Head, U> exten...

Ну или просто [Head] extends [U] чтоб оффнуть дистрибутивность

0

09.06.2023

Iurii Mamaev

Евгений
Ну или просто [Head] extends [U] чтоб оффнуть дист...

Нет, это только описание того, почему вылазит boolean в одном из кейсов.

0

09.06.2023