Monad에 대한 것에 대해 탐구합니다.
수학에서의 범주론에 대해 알아보자. 왜 Monad는 이런 형태가 된 것인가? Monad, Category Theory Monad라는 단어는 프로그래밍에서 태동된 단어가 아니다. 수학에서의 범주론에서 유래된 단어이다.
범주론에서의 카테고리에 대해 알아보자. Category Theory 카테고리에 대한 이론 Category 요소와 요소의 관계까지를 포함한 집합같은 개념 Object와 Morphisms로 구성된다.
범주론에서의 카테고리에 대해 알아보자. 프로그래밍과 무슨 관계가 있는가? 왜 이런 메타수학에서 사용되는 개념이 프로그래밍에서 사용될까? 프로그래밍에서 공통적으로 나타내는 개념들 사이의 관계가 카테고리의 조건에 딱 들어맞는다. 모든 프로그래밍 언어에는 타입이 있다.
모나드(Monad)의 항등성(identity law)은 함수형 프로그래밍에서 모나드가 가져야 하는 중요한 특성 중 하나입니다. 모나드는 데이터 형식을 다루는 추상적인 개념으로, 값을 감싸거나 조작하는 데 사용됩니다.