AnyOf, 요소 중 하나라도 Truthy한 값이 있는지 검사하기

type Falsy = 0 | '' | false | [] | null | undefined;

type AnyOf<T extends readonly any[]> = 
  T extends [] ? 
    false :                                   // 빈 배열일 경우 무조건 false
      T extends [infer F, ...infer Rest] ?
        F extends Falsy ?                     // 맨 앞부터 검사했을 때 Falsy를 만날 경우
          AnyOf<Rest> :                       // 다음 타입을 검사한다
          keyof F extends never ?             // 현재 검사 중인 타입 F가 falsy가 아닐 때, 혹시 빈 객체는 아닌지 검사한다.
            AnyOf<Rest>:
            true:
        never;

간단한 문제였지만 Falsy에 해당하는 값 중 빈 객체를 다루는 것으로 인해 곤혹스러웠다.
자바스크립트의 모든 값들은 객체이기 때문에, 따라서 모든 값의 타입은 객체를 상속하고 있는 것이나 마찬가지다.

 

type Falsy = 0 | '' | false | [] | null | undefined | {}; // error!

따라서 Falsy에 {}를 타입으로 주어서 검사하게 하면 정상적인 검사가 이루어지지 않기 때문에,
Falsy가 아니더라도 혹시 빈 객체인지 아닌지를 검사하게 해주어야 했는데, 나는 keyof를 이용해서 never인지 아닌지 검사하게 했다.
빈 객체의 keyof는 never이기 때문에, 만약 어떤 타입 F의 키가 never라면 F는 빈 객체임을 알 수 있기 때문이다.
F가 빈 객체라면 마찬가지로 나머지들에 대해서 검사를 진행하면 되고, 그렇지 않다면 true를 리턴한다.