경량 HKT 패턴
Kind/URI 디펑셔널라이제이션 기법을 구현합니다.
경량 HKT 패턴은(는) CoddyKit의 무료 TypeScript Academy 강의입니다. 이것은 4개 중 3번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 TypeScript Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. TypeScript Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
함수화 제거
이 인코딩의 핵심 기법에는 이름이 있습니다. 바로 함수화 제거입니다. 실제 고차 타입 함수 대신 각 함수를 태그로 표현하고, 하나의 1차 조회로 해석합니다. URItoKind 레지스트리가 바로 그 조회표입니다.
type Kind<F extends URIS, A> = URItoKind<A>[F];
// One lookup replaces true type-function applicationKind 타입
Kind<F, A>는 이 패턴을 외부에 드러내는 이름입니다. 이를 "F 생성자에 A를 적용한 것"으로 읽으면 됩니다. 레지스트리 인덱싱을 깔끔한 이름 뒤에 숨깁니다.
type A = Kind<"Array", number>; // number[]
type B = Kind<"Option", string>; // string | nullF를 URIS로 제한하기
F는 등록된 URI여야 합니다. extends URIS로 제한하면 유효한 태그만 사용할 수 있고 오타는 컴파일 오류가 됩니다.
type Kind<F extends URIS, A> = URItoKind<A>[F];
// Kind<"Arrey", number> -> error, not a valid URI제네릭 시그니처 작성하기
이제 이전에는 불가능했던 Functor 시그니처를 작성할 수 있습니다. 모든 F<A>를 Kind<F, A>로 바꾸면 컴파일러가 이를 허용합니다.
interface Functor<F extends URIS> {
map<A, B>(fa: Kind<F, A>, f: (a: A) => B): Kind<F, B>;
}실제로 해석하기
F를 구체적인 URI로 고정하면 Kind가 실제 컨테이너 타입으로 해석됩니다. Functor<"Array">에는 A[]에서 B[]로 변환하는 map이 있습니다.
type ArrayFunctor = Functor<"Array">;
// map: <A, B>(fa: A[], f: (a: A) => B) => B[]여러 타입 인수
Either<E, A>처럼 두 인수를 받는 생성자도 있습니다. fp-ts는 URItoKind2와 Kind2<F, E, A>를 사용해 * -> * -> * 차수에 맞게 이 패턴을 확장합니다. 레지스트리를 더 추가하면 같은 아이디어를 확장할 수 있습니다.
interface URItoKind2<E, A> {
Either: { left: E } | { right: A };
}
type Kind2<F extends URIS2, E, A> = URItoKind2<E, A>[F];fp-ts의 관례
fp-ts는 이 과정 전체에서 따르는 관례를 정립했습니다. 데이터 타입마다 하나의 URI 문자열을 사용하고, 선언 병합으로 확장하는 URItoKind 레지스트리를 두며, 해석에는 Kind를 사용합니다. 이 관례를 알아 두면 fp-ts와 Effect의 타입 시그니처를 읽을 수 있습니다.
// In fp-ts you will see exactly:
// declare module "fp-ts/HKT" { interface URItoKind<A> { ... } }인스턴스 레코드
추상화의 "인스턴스"란 특정 URI에 대해 해당 추상화를 구현하는 값입니다. 인스턴스는 구체적인 map을 담습니다. 다음 수업에서 배열 인스턴스를 작성하며, 여기서는 그 형태를 살펴봅니다.
declare const arrayFunctor: Functor<"Array">;
const out = arrayFunctor.map([1, 2, 3], n => n * 2); // number[]왜 "가벼운가"
컴파일러를 변경하거나 특별한 문법을 추가할 필요 없이 인터페이스와 인덱스 접근만 사용하기 때문에 가벼운 HKT 패턴이라고 부릅니다. 실제 컨테이너 제네릭 코드를 얻는 대신 URI와 레지스트리를 작성하는 약간의 형식적인 작업이 필요합니다.
type Kind<F extends URIS, A> = URItoKind<A>[F];
// No magic, just a typed lookup table한계
이 패턴은 장황하고, 오류 메시지가 도메인보다 인코딩을 언급하기 때문에 이해하기 어려울 수 있습니다. 또한 모든 컨테이너를 등록해야 합니다. 대부분의 앱에서는 직접 구축하기보다 이미 이를 사용하는 라이브러리를 활용합니다.
// Trade-off: real abstraction power vs. encoding ceremony하나로 합치기
가벼운 HKT의 전체 절차는 다음과 같습니다. URI를 정의하고, 이를 URItoKind에 등록하며, Kind<F, A>를 사용해 추상화를 정의하고, URI마다 인스턴스를 제공합니다. 이것이 TypeScript의 제네릭 함수형 라이브러리를 뒷받침하는 전체 도구 모음입니다.
type Kind<F extends URIS, A> = URItoKind<A>[F];
interface Functor<F extends URIS> {
map<A, B>(fa: Kind<F, A>, f: (a: A) => B): Kind<F, B>;
}빠른 확인
가벼운 HKT 패턴에 대한 이해도를 확인해 보십시오.
복습
가벼운 HKT 패턴을 완성했습니다.
- 함수화 제거는 타입 함수 적용을 조회로 바꿉니다.
Kind<F, A>는 URI와 인수를 구체적인 타입으로 해석합니다.- 제네릭 시그니처는
F<A>대신Kind를 사용합니다. Kind2를 사용하면 두 인수로 확장할 수 있으며, 이는 fp-ts의 관례입니다.
다음: 실제 인스턴스를 사용하는 제네릭 map
자주 묻는 질문
“경량 HKT 패턴” 강의는 무료인가요?
네 — “경량 HKT 패턴” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 TypeScript Academy 강의 전체를 잠금 해제할 수 있습니다. TypeScript Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
“경량 HKT 패턴”에서 뭘 배우나요?
Kind/URI 디펑셔널라이제이션 기법을 구현합니다. 브라우저에서 직접 실행하는 실습 코드로 TypeScript Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.
TypeScript Academy을(를) 시작하는 데 경험이 필요한가요?
사전 경험은 필요하지 않습니다. CoddyKit의 TypeScript Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 3번째 강의입니다.
“경량 HKT 패턴” 강의는 얼마나 걸리나요?
대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.
이 TypeScript Academy 강의에서 코드를 작성하고 실행할 수 있나요?
네. 모든 TypeScript Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.