Functors

이전 섹션에서 TS category (TypeScript category) 와 함수 합성의 핵심 문제에 대해 살펴보았습니다:

어떻게 두 일반적인 함수 f: (a: A) => B 와 g: (c: C) => D 를 합성할 수 있을까요?

왜 이 문제의 해결법을 찾는게 그렇게 중요할까요?

왜냐하면, 만약 category 로 프로그래밍 언어를 모델링하는데 사용할 수 있다면, morphism (TS category 에서 함수) 을 활용해 프로그램 을 모델링할 수 있기 때문입니다.

따라서, 이 추상적인 문제를 푸는 것은 일반적인 방법으로 프로그램을 합성 하는 구체적인 방법을 찾는 것을 의미합니다. 그리고 이것은 우리 개발자들에게 정말 흥미로운 일입니다, 그렇지 않나요?