1.
소개
2.
함수형 프로그래밍이란
3.
함수형 프로그래밍의 두 가지 요소
3.1.
참조 투명성
3.2.
합성
4.
Semigroup 으로 합성 모델링
4.1.
Magma 의 정의
4.2.
Semigroup 의 정의
4.3.
concatAll 함수
4.4.
Dual semigroup
4.5.
Semigroup product
4.6.
임의의 타입에 대한 semigroup 인스턴스 찾기
4.7.
Order-derivable Semigroups
5.
Eq 를 활용한 동등성 모델링
6.
Ord 를 활용한 순서 관계 모델링
6.1.
Dual Ordering
7.
Monoid 를 활용한 합성 모델링
7.1.
concatAll 함수
7.2.
product monoid
8.
순수함수와 부분함수
9.
대수적 자료형
9.1.
정의
9.2.
곱타입
9.3.
합타입
10.
함수적 오류 처리
10.1.
Option 타입
10.2.
Eq 인스턴스
10.3.
Semigroup, Monoid 인스턴스
10.4.
Either 타입
11.
Category theory
11.1.
정의
11.2.
프로그래밍 언어 모델링
11.3.
TypeScript
11.4.
합성의 핵심 문제
12.
Functor
12.1.
프로그램으로서의 함수
12.2.
Functor 의 경계
12.3.
정의
12.4.
오류 처리
12.5.
합성
12.6.
contravariant functor
12.7.
fp-ts 에서의 functor
12.8.
일반적인 문제 해결
13.
Applicative Functor
13.1.
Currying
13.2.
ap 연산
13.3.
of 연산
13.4.
합성
13.5.
문제 해결
14.
Monad
14.1.
중첩된 context 문제
14.2.
정의
14.3.
Kleisli Category
14.4.
단계별 chain 정의
14.5.
프로그램 다루기
Light (default)
Rust
Coal
Navy
Ayu
Typescript 와 fp-ts 라이브러리를 활용한 함수형 프로그래밍
함수형 프로그래밍의 두 가지 요소
함수형 프로그래밍은 다음 두 가지 요소를 기반으로 한다:
참조 투명성
합성 (범용적 디자인 패턴으로서)
이후 내용은 위 두가지 요소와 직간접적으로 연관되어 있습니다.