제네릭 펑터와 매퍼
어떤 컨테이너에도 적용되는 제네릭 map 함수를 작성합니다.
제네릭 펑터와 매퍼은(는) CoddyKit의 무료 TypeScript Academy 강의입니다. 이것은 4개 중 4번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 TypeScript Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. TypeScript Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
제네릭 Functor
이제 인코딩을 본래 목적에 사용합니다. 등록된 모든 컨테이너에서 작동하는 범용 map을 작성합니다. URI를 매개변수로 받는 Functor 인터페이스는 하나의 메서드를 선언합니다.
interface Functor<F extends URIS> {
readonly URI: F;
map<A, B>(fa: Kind<F, A>, f: (a: A) => B): Kind<F, B>;
}배열 인스턴스
인스턴스는 하나의 URI에 대해 map을 구현합니다. 배열 인스턴스는 내장 배열 메서드로 매핑합니다. 해당 Kind<"Array", A>는 A[]로 해석됩니다.
const arrayFunctor: Functor<"Array"> = {
URI: "Array",
map: (fa, f) => fa.map(f)
};배열 인스턴스 사용하기
배열 인스턴스에서 map을 호출하면 각 요소를 변환하면서 배열 컨테이너 타입은 유지합니다.
const doubled = arrayFunctor.map([1, 2, 3], n => n * 2);
// doubled: number[] -> [2, 4, 6]옵션 타입
옵션을 값 또는 null로 정의하고 등록합니다. 옵션의 map은 값이 있을 때만 함수를 적용하고, 그렇지 않으면 null을 그대로 전달합니다.
interface URItoKind<A> { Option: A | null }
type Option<A> = A | null;옵션 인스턴스
옵션 인스턴스는 옵션 컨테이너를 유지합니다. 값이 있으면 그 값을 통해 함수가 적용되고, null은 null로 남습니다.
const optionFunctor: Functor<"Option"> = {
URI: "Option",
map: (fa, f) => (fa === null ? null : f(fa))
};옵션 인스턴스 사용하기
이제 동일한 map 형태가 완전히 다른 컨테이너에서도 작동합니다. 값이 있으면 변환되고, 값이 없으면 그대로 유지됩니다.
const a = optionFunctor.map(5, n => n + 1); // 6
const b = optionFunctor.map(null, n => n + 1); // null하나의 추상화, 여러 컨테이너
이것이 바로 얻는 결과입니다. arrayFunctor와 optionFunctor는 동일한 Functor 인터페이스를 공유합니다. Functor<F>를 대상으로 작성한 코드는 변경 없이 두 컨테이너 모두에서 작동합니다.
function bumpAll<F extends URIS>(
F: Functor<F>,
fa: Kind<F, number>
): Kind<F, number> {
return F.map(fa, n => n + 1);
}제네릭 함수 호출하기
bumpAll은 어떤 컨테이너를 받는지 알 필요도 없고 신경 쓰지도 않습니다. 인스턴스와 데이터를 전달하면 결과에서 컨테이너 타입이 유지됩니다.
const arr = bumpAll(arrayFunctor, [1, 2]); // number[] -> [2, 3]
const opt = bumpAll(optionFunctor, 9); // number | null -> 10Functor 법칙
올바른 Functor는 두 가지 법칙을 따릅니다. 항등 함수에 매핑해도 아무것도 바뀌지 않아야 하며, 두 함수를 순서대로 매핑한 결과는 두 함수의 합성으로 매핑한 결과와 같아야 합니다. 위의 배열 인스턴스와 옵션 인스턴스는 모두 이 법칙을 만족합니다.
// map(fa, x => x) === fa
// map(map(fa, f), g) === map(fa, x => g(f(x)))인스턴스 더 추가하기
추상화가 열려 있으므로 새 컨테이너는 URI를 등록하고 인스턴스를 제공하는 방식으로 연결할 수 있습니다. 트리, 결과, 작업 컨테이너도 각각 동일한 제네릭 코드로 매핑할 수 있게 됩니다.
// Register URI, implement Functor<"Tree">,
// and bumpAll works on trees too - no edits to bumpAll중요한 이유
제네릭 Functor는 TypeScript의 함수형 추상화를 배우는 출발점입니다. 애플리커티브, Monad, 순회가 그 예입니다. 각각은 Kind<F, A>를 대상으로 하는 인터페이스이며 컨테이너마다 인스턴스를 제공합니다. 이제 fp-ts와 Effect를 가능하게 하는 구조를 이해하셨습니다.
interface Monad<F extends URIS> extends Functor<F> {
of<A>(a: A): Kind<F, A>;
chain<A, B>(fa: Kind<F, A>, f: (a: A) => Kind<F, B>): Kind<F, B>;
}빠른 확인
제네릭 Functor에 대한 이해도를 확인해 보십시오.
복습
컨테이너에 제네릭으로 적용되는 map을 작성했습니다.
Functor<F>는Kind<F, A>에 대한map을 선언합니다.- 배열 인스턴스와 옵션 인스턴스가 각자의 URI에 대해 이를 구현합니다.
bumpAll같은 제네릭 코드는 등록된 모든 컨테이너에서 작동합니다.- Functor 법칙은 인스턴스가 올바르게 동작하도록 하며, 더 풍부한 추상화는 이를 기반으로 구축됩니다.
다음은 24번 과정으로, 타입 안전 파서를 구축합니다.
AI 튜터와 함께 TypeScript을(를) 배우세요 — 무료
브라우저에서 실제 코드를 작성하고 실행하며, 24/7 AI 튜터로부터 즉각적인 도움을 받고, 웹이나 앱에서 중단한 부분부터 계속 학습하세요.
- 코스
- 101
- 레슨
- 352
자주 묻는 질문
“제네릭 펑터와 매퍼” 강의는 무료인가요?
네 — “제네릭 펑터와 매퍼” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 TypeScript Academy 강의 전체를 잠금 해제할 수 있습니다. TypeScript Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
“제네릭 펑터와 매퍼”에서 뭘 배우나요?
어떤 컨테이너에도 적용되는 제네릭 map 함수를 작성합니다. 브라우저에서 직접 실행하는 실습 코드로 TypeScript Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.
TypeScript Academy을(를) 시작하는 데 경험이 필요한가요?
사전 경험은 필요하지 않습니다. CoddyKit의 TypeScript Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 4번째 강의입니다.
“제네릭 펑터와 매퍼” 강의는 얼마나 걸리나요?
대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.
이 TypeScript Academy 강의에서 코드를 작성하고 실행할 수 있나요?
네. 모든 TypeScript Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.
이 강의의 모든 강의
- TypeScript의 HKT 문제
- 타입 생성자 정의
- 경량 HKT 패턴
- 제네릭 펑터와 매퍼