StringToUnion

// type StringToUnion<T extends string> = T extends `${infer F}${infer S}` ? (F | StringToUnion<S>) : T;
type StringToUnion<T extends string> = T extends '' ? never :  T extends `${infer F}${infer S}` ? (F | StringToUnion<S>) : T;

T가 만약 infer F와 S로 이루어진 문자열이라면 F와 나머지 문자에 대해서 StringToUnion을 재귀적으로 푼 결과를 유니온으로 받는다.
만약 그러한 문자열이 아니면 T를 받는다.
단, 문자열 T가 빈 문자열인 경우에는 해당 식은 성립하지 않기 때문에 T ( = '' ) 를 리턴하는 문제가 있다.
따라서 빈 문자를 유니온 조합에서 제거하기 위해 맨 앞에 T extneds '' 문을 추가하여 never로 바꾼다.
never를 유니온으로 조합한 경우 해당 타입은 없는 것과 같기 때문에 유니온 조합에서 사라지게 된다.

 

꽤나 유용할 것 같은 타입이다.