계산 언어로서의 타입
타입 시스템을 순수 함수형 언어로 이해합니다.
계산 언어로서의 타입은(는) CoddyKit의 무료 TypeScript Academy 강의입니다. 이것은 4개 중 1번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 TypeScript Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. TypeScript Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
타입은 하나의 언어입니다
TypeScript에는 나란히 존재하는 두 개의 언어가 있습니다. 하나는 이미 알고 있는 값 수준의 JavaScript입니다. 다른 하나는 타입 수준으로, 전적으로 컴파일 시점에 실행됩니다. 이 과정에서는 두 번째 언어로 프로그래밍하는 법을 배웁니다.
타입 시스템은 작고 순수한 함수형 언어입니다. 타입을 입력으로 주면 타입을 출력으로 계산합니다. 이 계산 결과는 실행 시점까지 남지 않습니다.
type Greeting = "hello";
type Loud = Uppercase<Greeting>;
// Loud is "HELLO" - computed by the type system입력 타입과 출력 타입
제네릭 타입은 본질적으로 타입을 다른 타입으로 바꾸는 함수입니다. 타입 매개변수가 인수이고, 본문이 반환값입니다.
아래에서 Boxed는 타입 T를 받아 이를 감싸는 객체 타입을 생성합니다. T를 전달하는 매개변수라고 생각하면 됩니다.
type Boxed<T> = { value: T };
type A = Boxed<number>; // { value: number }
type B = Boxed<string>; // { value: string }제네릭은 함수입니다
값 수준의 함수와 타입 수준의 함수를 비교해 보십시오. 형태는 거의 같습니다. 매개변수를 입력받고 하나의 결과를 출력합니다.
- 값:
const id = (x) => x - 타입:
type Id<T> = T
타입 수준의 Id는 전달받은 것을 그대로 반환합니다.
type Id<T> = T;
type X = Id<boolean>; // boolean
type Y = Id<"abc">; // "abc"실행 시 비용 없음
타입 수준의 모든 내용은 코드가 실행되기 전에 삭제됩니다. JavaScript 출력에는 타입 계산의 흔적이 전혀 남지 않습니다. 타입이 아무리 복잡해도 실행 중인 프로그램의 성능 비용은 없습니다.
이 때문에 타입 수준 프로그래밍을 때로는 공짜라고 부릅니다. 컴파일러에만 영향을 주고 결과 묶음에는 전혀 영향을 주지 않기 때문입니다.
type Pair<T> = [T, T];
const p: Pair<number> = [1, 2];
// Compiled JS is just: const p = [1, 2];
console.log(p);여러 매개변수
타입 수준의 함수도 일반 함수처럼 여러 매개변수를 받을 수 있습니다. 여기서 Merge는 두 객체 타입을 받아 하나로 결합합니다.
다음과 같이 읽으면 됩니다. A와 B가 주어지면 두 타입의 모든 속성을 가진 객체를 반환합니다.
type Merge<A, B> = A & B;
type User = { id: number };
type Named = { name: string };
type NamedUser = Merge<User, Named>;
// { id: number; name: string }매개변수의 기본값
타입 매개변수에는 함수의 기본 인수와 마찬가지로 기본값을 지정할 수 있습니다. 호출자가 인수를 생략하면 기본값이 사용됩니다.
type List<T = string> = T[];
type A = List; // string[]
type B = List<number>; // number[]제약 조건은 안전장치입니다
extends를 사용하는 제약 조건은 전달할 수 있는 타입을 제한합니다. 이는 함수 인수를 사용하기 전에 유효성을 검사하는 것과 같은 타입 수준의 방법입니다.
HasId는 이미 id 속성을 가진 타입만 허용하므로 본문에서 해당 속성을 안전하게 읽을 수 있습니다.
type GetId<T extends { id: number }> = T["id"];
type A = GetId<{ id: number; name: string }>; // number
// GetId<{ name: string }> would be a compile error단순한 주석이 아닌 계산
초보자는 타입을 값에 표시하는 용도로만 사용합니다. 타입 수준 프로그래밍에서는 타입을 사용해 답을 계산합니다. 예를 들어 기본 제공 유틸리티인 ReturnType은 함수 타입을 살펴보고 그 결과 타입을 추출합니다.
type Fn = (a: number) => string;
type R = ReturnType<Fn>; // string
type Fn2 = () => boolean;
type R2 = ReturnType<Fn2>; // boolean속성에 매핑하기
매핑된 타입을 사용하면 객체 타입의 모든 속성을 변환할 수 있습니다. 이는 타입 언어에서의 반복문입니다. Stringify는 모든 값 타입을 string으로 바꿉니다.
type Stringify<T> = { [K in keyof T]: string };
type Input = { a: number; b: boolean };
type Out = Stringify<Input>; // { a: string; b: string }순수하고 결정적입니다
타입 언어는 순수합니다. 같은 입력은 부작용 없이 항상 같은 출력 타입을 만듭니다. 변이도 없고, IO도 없으며, 시간의 영향도 없습니다. 이러한 순수성 덕분에 타입 수준 프로그램을 예측 가능하고 조합 가능하게 만들 수 있습니다.
순수하기 때문에 수학을 추론하듯이 대입을 통해 타입을 추론할 수 있습니다.
type Square<T extends { area: number }> = T["area"];
// Always the same result for the same input shape왜 중요한가
이 두 번째 언어를 익히면 컴파일러가 자동으로 적용하는 규칙을 코드에 표현할 수 있습니다. 유효한 경로, 빠짐없는 분기, 안전한 문자열 조작, 잘못 사용할 수 없는 API 등을 만들 수 있습니다. 이 과정의 나머지 부분에서는 이를 위한 도구 상자를 만들어 갑니다.
핵심 관점: 타입 언어에서 타입은 값이고 제네릭은 함수입니다.
type NonEmpty<T extends unknown[]> =
T extends [unknown, ...unknown[]] ? T : never;
// Encodes a rule: the tuple must have at least one element빠른 확인
계산 언어로서의 타입에 대한 이해도를 확인해 보세요.
복습
TypeScript의 타입이 컴파일 시점에 실행되는 순수 함수형 언어를 이룬다는 것을 배웠습니다.
- 제네릭은 함수입니다. 타입을 받아 타입을 반환합니다.
- 매개변수는 기본값과
extends제약 조건을 지원합니다. - 매핑된 타입은 속성을 순회합니다.
- 모든 것이 제거되므로 실행 시간 비용이 없습니다.
다음으로 이 언어에 조건문을 추가해 보겠습니다. 조건부 타입입니다.
자주 묻는 질문
“계산 언어로서의 타입” 강의는 무료인가요?
네 — “계산 언어로서의 타입” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 TypeScript Academy 강의 전체를 잠금 해제할 수 있습니다. TypeScript Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
“계산 언어로서의 타입”에서 뭘 배우나요?
타입 시스템을 순수 함수형 언어로 이해합니다. 브라우저에서 직접 실행하는 실습 코드로 TypeScript Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.
TypeScript Academy을(를) 시작하는 데 경험이 필요한가요?
사전 경험은 필요하지 않습니다. CoddyKit의 TypeScript Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 1번째 강의입니다.
“계산 언어로서의 타입” 강의는 얼마나 걸리나요?
대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.
이 TypeScript Academy 강의에서 코드를 작성하고 실행할 수 있나요?
네. 모든 TypeScript Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.