FP 핵심 개념 인덱스 기초
순수 함수 (Pure Function) 불변성 (Immutability) 참조 투명성 (Referential Transparency) 부수 효과 (Side Effect) 일급 함수 (First-class Function) 고차 함수 (Higher-order Function)
함수 조합
커링 (Currying) 부분 적용 (Partial Application) 함수 합성 (Function Composition) 파이프 (Pipe)
타입/데이터
대수적 데이터 타입 (Algebraic Data Type / ADT) 합 타입 (Sum Type / Union Type) 곱 타입 (Product Type) 스마트 생성자 (Smart Constructor) 값 객체 (Value Object)
컨테이너 / 효과 처리
펑터 (Functor) 모나드 (Monad) 옵션 / Maybe Either / Result IO 모나드
패턴
의존성 주입 (Dependency Injection via Currying) 철도 지향 프로그래밍 (Railway Oriented Programming) 포인트 프리 스타일 (Point-free Style) 메모이제이션 (Memoization)
도메인 모델링
Make Illegal States Unrepresentable 타입 주도 설계 (Type-driven Design) 효과 분리 (Separating Effects from Logic)