함수형 프로그래밍과 타입

개념 설명

TypeScript의 타입 시스템을 활용하여 함수형 프로그래밍 패턴을 타입 안전하게 구현하는 방법. 불변성, 순수 함수, 함수 합성을 타입 레벨에서 보장한다.

핵심 포인트

• 함수 합성: pipe, compose 함수의 타입 안전한 구현
• 커링: 다중 인자 함수를 단일 인자 함수로 변환
• 모나드 패턴: Maybe, Either로 null 처리와 에러 처리
• 고차 함수: map, filter, reduce의 제네릭 타입 정의

예시 코드

// 타입 안전한 pipe
declare function pipe<A, B>(fn1: (a: A) => B): (a: A) => B;
declare function pipe<A, B, C>(
  fn1: (a: A) => B,
  fn2: (b: B) => C
): (a: A) => C;