README.md

해당 문서는 type-challenges 에 관련한 내용을 담고 있습니다.

easy

14

18

43

189

14번

문제: 배열(튜플) T를 받아 첫 원소의 타입을 반환하는 제네릭 First를 구현하세요.

답안:

type First<T extends any[]> = T extends [] ? never : T[0];

First라는 타입은 배열의 형태이거나 배열과 유사한 형태를 받을 제너릭 T를 받습니다.

삼항연산자를 이용해 T가 비었을 경우 never 타입이며 비어있지 않을 경우 첫 원소의 타입을 반환합니다.

혹은 아래와 같이 비슷한 로직으로 구성할 수 있습니다.

type First<T extends any[]> = T extends { length: 0 } ? never : T[0];

아래는 풀지 않은 14번 문제입니다.

/* _____________ 여기에 코드 입력 _____________ */

type First<T extends any[]> = any;

/* _____________ 테스트 케이스 _____________ */
import type { Equal, Expect } from "@type-challenges/utils";

type cases = [
  Expect<Equal<First<[3, 2, 1]>, 3>>,
  Expect<Equal<First<[() => 123, { a: string }]>, () => 123>>,
  Expect<Equal<First<[]>, never>>,
  Expect<Equal<First<[undefined]>, undefined>>
];

type errors = [
  // @ts-expect-error
  First<"notArray">,
  // @ts-expect-error
  First<{ 0: "arrayLike" }>
];

18번

문제: 배열(튜플)을 받아 길이를 반환하는 제네릭 Length<T>를 구현하세요.

답안:

type Length<T extends readonly any[]> = T["length"];

배열을 받아야 하기에 <T extends any[]> 가 필요합니다.

여기서 readonly(읽기 전용)를 사용하지 않으면 TypeScript는 배열이 변경될 수 있기 때문에 해당 배열 길이에 대해 추론을 할 수 없게 되며 이에 에러가 발생합니다. <T extends readonly any[]>로 변경함으로써 해당 배열은 더 이상 변경될 수 없는 배열이므로 해당 배열의 길이를 정확하게 추론할 수 있게 됩니다.

이후 T["length"]를 통해 해당 배열의 길이를 반환합니다.

아래는 풀지 않은 18번 문제입니다.

/* _____________ 여기에 코드 입력 _____________ */

type Length<T> = any;

/* _____________ 테스트 케이스 _____________ */
import type { Equal, Expect } from "@type-challenges/utils";

const tesla = ["tesla", "model 3", "model X", "model Y"] as const;
const spaceX = [
  "FALCON 9",
  "FALCON HEAVY",
  "DRAGON",
  "STARSHIP",
  "HUMAN SPACEFLIGHT",
] as const;

type cases = [
  Expect<Equal<Length<typeof tesla>, 4>>,
  Expect<Equal<Length<typeof spaceX>, 5>>,
  // @ts-expect-error
  Length<5>,
  // @ts-expect-error
  Length<"hello world">
];

43번

문제: T에서 U에 할당할 수 있는 타입을 제외하는 내장 제네릭 Exclude<T, U>를 이를 사용하지 않고 구현하세요.

답안:

type MyExclude<T, U> = T extends U ? never : T;

T extends U를 통해 T의 각 요소가 U에 할당이 가능한지를 확인합니다. 삼항 연산자를 통해 만약 가능하면 never 타입을 반환해 해당 요소를 제외하고 할당이 가능하지 않다면 해당 요소를 그대로 반환합니다.

아래는 풀지 않은 43번 문제입니다.

/* _____________ 여기에 코드 입력 _____________ */

type MyExclude<T, U> = any;

/* _____________ 테스트 케이스 _____________ */
import type { Equal, Expect } from "@type-challenges/utils";

type cases = [
  Expect<Equal<MyExclude<"a" | "b" | "c", "a">, "b" | "c">>,
  Expect<Equal<MyExclude<"a" | "b" | "c", "a" | "b">, "c">>,
  Expect<
    Equal<MyExclude<string | number | (() => void), Function>, string | number>
];

189번

문제: Promise와 같은 타입에 감싸인 타입이 있을 때, 안에 감싸인 타입이 무엇인지 어떻게 알 수 있을까요?

답안:

type MyAwaited<T extends { then: unknown }> = Awaited<Promise<T>>;

Awaited는 타입스크립트에서 제공하는 유틸리티 타입으로 Promise 타입에서 감싸져 있는 타입을 추출합니다.

예를 들어, Promise<string>을 처리할 때 Awaited<Promise<string>>는 string을 반환합니다.

따라서 이 코드에서 Promise를 사용했으므로, T가 then 메서드를 가진 객체라면 Promise처럼 처리하고 내부의 타입을 추출하게 됩니다.