BFE.devAI解答 - TypeScript 类型谜题
33. implement TupleToString<T>

type TupleToString<T extends string[]> = T extends [] ? '' : T extends [infer H, ...infer R] ? H extends string ? `${H}${TupleToString<R>}` : never : never;

这里使用了递归和模板字面量类型来实现类型字符串的拼接。首先，我们使用一个泛型类型参数T来表示元素类型为字符串类型的元组。然后，我们使用条件类型来判断如果T是空元组[]，则返回空字符串''，否则如果T有至少一个元素，则将第一个元素赋值给变量H，将余下的元素组成的数组赋值给变量R。在新的类型中，我们将H和递归地调用TupleToString的结果，使用类型模板字符串进行拼接。注意，这里的字符串拼接使用了${}语法，这也是Typescript 4.1版本新加入的一种字符串拼接方法。最后，如果T中存在非字符串类型的元素，则返回never类型，表示无法转换为字符串类型。