Questions et réponses pour le type-level-computation :

Un calcul qui est effectué au moment de la compilation dans le cadre de la phase de vérification de type du compilateur.

2
votes
type a = [1,2,3] type Invert<T extends any[] & {'0': any}> = ??? type b = Invert<a> // should yield [3,2,1] I am stucked to figure out the definition of Invert type of a tuple, al ...