Это максимум, на что меня хватило: type Tuple<C, T> = T

Question

Это максимум, на что меня хватило: type Tuple<C, T> = T

extends [infer A, infer B]
? [A, B, C] | [B, C, A] | [C, A, B] | [A, C, B] | [B, A, C] | [C, B, A]
: [C, T] | [T, C];

let a: Tuple<1, 2>;
let b: Tuple<1, Tuple<2, 3>>;
let c: Tuple<1, Tuple<2, Tuple<3, 4>>>; // уже не прокатит

Не получается рекурсивно ссылаться на объявляемый тип:
type Tuple<T, U> = T extends Tuple<infer A, infer B> // ошибка

Если кто-нибудь сможет это сделать - будет интересно)

#programming #russian #typescript

0

31.01.2019

1 ответов

15 просмотров

Egor Klyuchantsev [UTC+2] · Accepted Answer

Egor Klyuchantsev [UTC+2]

Бессмысленно) TS для таких задач не подходит пока что. Даже если бы работало - как с таким кодом потом работать? Проще через JS сделать валидацию.

0

31.01.2019

169 похожих чатов

Это максимум, на что меня хватило: type Tuple<C, T> = T

1 ответов

Похожие вопросы