TypeScript Academy · 강의

실용적인 숫자 타입 유틸리티

범위와 길이 제약에 타입 산술을 적용합니다.

실용적인 숫자 타입 유틸리티은(는) CoddyKit의 무료 TypeScript Academy 강의입니다. 이것은 4개 중 4번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 TypeScript Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. TypeScript Academy 강의에는 총 4개의 강의가 포함되어 있습니다.

이론에서 도구로

산술과 비교는 실용적인 도구로 묶었을 때 유용해집니다. 범위, 길이가 강제되는 배열, 범위 내로 제한된 인덱스 등을 만들 수 있습니다. 이 레슨에서는 기본 연산을 실제로 배포할 만한 기능으로 바꿉니다.

type BuildTuple<N extends number, Acc extends unknown[] = []> =
  Acc["length"] extends N ? Acc : BuildTuple<N, [...Acc, unknown]>;

열거하기: 0부터 N-1까지

기초가 되는 도우미는 0부터 N-1까지의 모든 숫자로 이루어진 유니언을 만듭니다. 길이 N인 튜플을 만들고 모든 키 인덱스를 읽습니다.

type Enumerate<N extends number, Acc extends number[] = []> =
  Acc["length"] extends N
    ? Acc[number]
    : Enumerate<N, [...Acc, Acc["length"]]>;

type A = Enumerate<4>; // 0 | 1 | 2 | 3

범위 타입

Range<Start, End>는 Start부터 End - 1까지의 숫자를 반환합니다. Enumerate<End>를 가져온 다음 Start보다 작은 값을 제외합니다.

type Range<S extends number, E extends number> =
  Exclude<Enumerate<E>, Enumerate<S>>;

type A = Range<2, 6>; // 2 | 3 | 4 | 5

매개변수 제한하기

범위를 사용해 유효한 인수를 제한하세요. 작은 주사위 굴림만 받는 함수에는 Range<1, 7>을 지정하여 범위를 벗어난 값을 컴파일러가 거부하도록 할 수 있습니다.

type DiceFace = Range<1, 7>; // 1|2|3|4|5|6
declare function roll(face: DiceFace): void;
roll(4); // ok
// roll(8); // compile error

배열 길이 강제하기

고정 길이 배열 타입은 크기가 잘못된 배열을 거부합니다. 재귀를 사용해 타입 T인 요소 N개로 이루어진 튜플을 만듭니다.

type FixedArray<T, N extends number, Acc extends T[] = []> =
  Acc["length"] extends N ? Acc : FixedArray<T, N, [...Acc, T]>;

type RGB = FixedArray<number, 3>; // [number, number, number]

고정 길이 사용하기

이제 잘못된 사용이 컴파일 오류가 됩니다. 3차원 점에는 정확히 세 개의 좌표가 있어야 합니다.

type Vec3 = FixedArray<number, 3>;
const v: Vec3 = [1, 2, 3]; // ok
// const w: Vec3 = [1, 2]; // error: missing element

인덱스 범위 제한하기

인덱스 타입을 유효한 배열 위치로 제한할 수 있습니다. 튜플 길이와 Enumerate를 결합하면 배열 범위 안의 인덱스만 허용됩니다.

type Indices<T extends readonly unknown[]> = Enumerate<T["length"]>;

type Arr = readonly ["a", "b", "c"];
type I = Indices<Arr>; // 0 | 1 | 2

안전한 인덱스 접근

유효한 인덱스 타입을 사용하면 인덱스 매개변수가 범위를 벗어날 수 없는 접근자 함수를 작성할 수 있어, 컴파일 시점에 1만큼 어긋나는 오류를 잡을 수 있습니다.

declare function at<T extends readonly unknown[]>(
  arr: T,
  i: Indices<T>
): T[Indices<T>];

const x = at(["a", "b", "c"] as const, 2); // ok
// at(["a", "b", "c"] as const, 3); // error

최솟값 및 최댓값 도우미

비교를 기반으로 두 숫자 중 더 큰 값이나 더 작은 값을 선택하는 기능을 추가하세요. 값을 범위 안으로 제한할 때 유용합니다.

type Max<A extends number, B extends number> =
  GreaterThan<A, B> extends true ? A : B;
type Min<A extends number, B extends number> =
  GreaterThan<A, B> extends true ? B : A;

type X = Max<3, 8>; // 8
type Y = Min<3, 8>; // 3

도구 조합하기

이 도구들은 서로 결합할 수 있습니다. 범위 안의 길이를 가진 튜플, 배열에 맞게 제한된 인덱스, 최솟값과 최댓값 사이로 제한된 값처럼 각각 작고 재사용 가능한 타입 수준 함수입니다.

type ValidPort = Range<1, 4>; // 1 | 2 | 3 (toy example)
type Slots = FixedArray<ValidPort, 2>; // [1|2|3, 1|2|3]

사용할 가치가 있는 경우

타입 산술은 작고 고정된 경계에서 특히 유용합니다. RGB 튜플, 주사위 면, 보드 좌표, 프로토콜 필드 크기 등에 사용할 수 있습니다. 재귀 제한과 복잡성이 안전성보다 커지는 큰 숫자나 동적인 숫자에는 사용할 가치가 없습니다. 경계가 작고 보장이 중요할 때 사용하세요.

type Board = FixedArray<FixedArray<0 | 1, 3>, 3>; // 3x3 grid

빠른 확인

실용적인 숫자 도구를 제대로 이해했는지 테스트해 보세요.

복습

작은 숫자 타입 도구 라이브러리를 만들었습니다.

Enumerate와 Range는 숫자 유니언을 만듭니다.
FixedArray는 정확한 길이를 강제합니다.
Indices는 접근을 유효한 위치로 제한합니다.
Min/Max는 값을 제한합니다.

작고 고정된 경계에 사용하세요. 다음 23과정: 고차 타입 시뮬레이션입니다.

자주 묻는 질문

“실용적인 숫자 타입 유틸리티” 강의는 무료인가요?

네 — “실용적인 숫자 타입 유틸리티” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 TypeScript Academy 강의 전체를 잠금 해제할 수 있습니다. TypeScript Academy 강의에는 총 4개의 강의가 포함되어 있습니다.

“실용적인 숫자 타입 유틸리티”에서 뭘 배우나요?

범위와 길이 제약에 타입 산술을 적용합니다. 브라우저에서 직접 실행하는 실습 코드로 TypeScript Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.

TypeScript Academy을(를) 시작하는 데 경험이 필요한가요?

사전 경험은 필요하지 않습니다. CoddyKit의 TypeScript Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 4번째 강의입니다.

“실용적인 숫자 타입 유틸리티” 강의는 얼마나 걸리나요?

대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.

이 TypeScript Academy 강의에서 코드를 작성하고 실행할 수 있나요?

네. 모든 TypeScript Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.

이 강의의 모든 강의

← TypeScript Academy(으)로 돌아가기