TypeScript Academy · 강의

타입을 활용한 함수 조합

타입 안전성을 유지하면서 함수를 조합합니다.

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

함수 합성이란 무엇인가

함수 합성은 작은 함수들을 결합해 더 큰 함수를 만듭니다. compose(f, g)는 먼저 g를 적용한 다음 그 결과를 f에 전달하는 함수를 만듭니다.

핵심 정의

수학적으로는 compose(f, g)(x) = f(g(x))입니다. 함수는 오른쪽에서 왼쪽으로 실행되므로 가장 오른쪽 함수가 먼저 실행됩니다.

const compose = (f: (n: number) => number, g: (n: number) => number) =>
  (x: number) => f(g(x));
const inc = (n: number) => n + 1;
const dbl = (n: number) => n * 2;
console.log(compose(inc, dbl)(5)); // 11 (5*2 then +1)

오른쪽에서 왼쪽 순서

순서가 중요합니다. compose(inc, dbl)은 먼저 두 배로 만든 다음 증가시키고, compose(dbl, inc)은 먼저 증가시킨 다음 두 배로 만듭니다. 합성은 안쪽에서 바깥쪽 순서로 읽으시면 됩니다.

console.log(compose(dbl, inc)(5)); // 12 (5+1 then *2)

제네릭으로 합성 타입 지정하기

제네릭을 사용하면 입력 타입과 출력 타입이 달라도 됩니다. g는 A를 B로 매핑하고, f는 B를 C로 매핑하므로 결과는 A를 C로 매핑합니다.

function compose<A, B, C>(f: (b: B) => C, g: (a: A) => B): (a: A) => C {
  return a => f(g(a));
}

과정 중 타입 바꾸기

제네릭이 A -> B -> C로 연결되므로, 합성은 문자열을 숫자로 바꾼 다음 다시 문자열로 바꾸는 것처럼 값을 여러 형태로 변환할 수 있습니다.

const length = (s: string) => s.length;
const toStr = (n: number) => "len=" + n;
const describe = compose(toStr, length);
console.log(describe("hello")); // len=5

타입 경계가 일치해야 합니다

g의 출력은 f의 입력과 일치해야 합니다. 둘이 일치하지 않으면 컴파일러가 합성을 거부하여 연결 오류를 일찍 발견합니다.

// compose(length, toStr) would error:
// toStr returns string, length expects string -> ok here,
// but mismatched pairs are flagged by the compiler.

세 함수 합성하기

합성을 중첩하거나 세 인자를 받는 버전을 작성할 수 있습니다. 어느 방법을 사용하든 오른쪽에서 왼쪽으로 실행되는 규칙은 동일하게 적용됩니다.

const compose3 = <A, B, C, D>(
  f: (c: C) => D, g: (b: B) => C, h: (a: A) => B
) => (a: A): D => f(g(h(a)));
const inc = (n: number) => n + 1;
const dbl = (n: number) => n * 2;
const neg = (n: number) => -n;
console.log(compose3(neg, dbl, inc)(3)); // -8

합성으로 파이프라인 구성하기

작고 순수한 함수들을 합성하면 복잡한 변환을 선언적으로 구성할 수 있습니다. 각 부분을 따로 테스트할 수 있습니다.

const trim = (s: string) => s.trim();
const upper = (s: string) => s.toUpperCase();
const clean = compose(upper, trim);
console.log(clean("  hi ")); // HI

순수 함수가 합성에 가장 적합한 이유

합성은 각 함수가 자신의 입력에만 의존한다고 가정합니다. 순수 함수는 이를 보장하므로, 순수 함수들을 합성하면 예측 가능한 또 하나의 순수 함수가 만들어집니다.

compose와 파이프

compose는 오른쪽에서 왼쪽으로 실행되며 수학 표기법과 비슷합니다. 많은 개발자는 왼쪽에서 오른쪽으로 읽는 방식을 선호하는데, 다음에 살펴볼 pipe가 바로 그 방식을 제공합니다.

구성 요소를 작게 유지하기

각 함수가 아주 작은 한 가지 작업만 수행할 때 합성의 장점이 잘 드러납니다. 작고 이름이 있으며 순수한 단계들로 구성하면 합성된 파이프라인 자체가 내용을 설명해 주고 쉽게 재배치할 수 있습니다.

간단 확인

이 레슨을 간단히 확인해 보겠습니다.

복습

compose(f, g)(x) = f(g(x))는 오른쪽에서 왼쪽으로 실행됩니다. 제네릭 타입은 A -> B -> C로 연결되므로 g의 출력이 f의 입력과 일치해야 하며, 이를 통해 컴파일러가 작은 순수 함수들로 이루어진 파이프라인을 검증할 수 있습니다.

자주 묻는 질문

“타입을 활용한 함수 조합” 강의는 무료인가요?

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

“타입을 활용한 함수 조합”에서 뭘 배우나요?

타입 안전성을 유지하면서 함수를 조합합니다. 브라우저에서 직접 실행하는 실습 코드로 TypeScript Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.

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

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

“타입을 활용한 함수 조합” 강의는 얼마나 걸리나요?

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

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

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

이 강의의 모든 강의

← TypeScript Academy(으)로 돌아가기