Never

Never를 안쓴다고 했었는데 쓴다.

에러를 막는 용도로 사용

type Indexable<T> = T extends string
  ? never
  : T extends number
    ? never
    : T extends boolean
      ? never
      : T extends undefined
        ? never
        : T extends Function
          ? never
          : T & { [index: string]: any }

• Indexable의 T는 { [index: string]: any } 타입만 될 수 있다.
• 아직은 이 문법이 잘 이해가 되진 않는다.

Union Types

• A 또는 B → A | B
• 리터럴 타입과 함께 사용하면, 인자를 강하게 좁힐 수 있다.

Type Guards와 함께 사용하면, 타입을 또 좁힐 수 있다.

function position(value: string | number) {
  if (typeof value === 'string') {
    return value.indexOf('');
  }
	
	// 여기부터 value는 무조건 number
  return value;
}

• if 로 앞에서 걸러 내면 나머지 타입 추론을 할 수 있다. 아주 똑똑하다.
• 이것이 Type Guards 이다.

Custom type guards

함수를 하나 만들어서 타입 체크를 할 수 있다.