Monad에 대한 것에 대해 탐구합니다.
수학에서의 범주론에 대해 알아보자. 왜 Monad는 이런 형태가 된 것인가? Monad, Category Theory Monad라는 단어는 프로그래밍에서 태동된 단어가 아니다. 수학에서의 범주론에서 유래된 단어이다.
범주론에서의 카테고리에 대해 알아보자. Category Theory 카테고리에 대한 이론 Category 요소와 요소의 관계까지를 포함한 집합같은 개념 Object와 Morphisms로 구성된다.
범주론에서의 카테고리에 대해 알아보자. 프로그래밍과 무슨 관계가 있는가? 왜 이런 메타수학에서 사용되는 개념이 프로그래밍에서 사용될까? 프로그래밍에서 공통적으로 나타내는 개념들 사이의 관계가 카테고리의 조건에 딱 들어맞는다. 모든 프로그래밍 언어에는 타입이 있다.
실제 Functor는 무엇을 의미하는가? Functor 카테고리 사이에서의 사상(morphisms) 동질의 대상들을 규정하면, 그 사이를 비교하거나 대응하기 위한 수단도 필요하다. 집합의 경우 집합 사이의 함수가 그것이다.
모나드(Monad)의 항등성(identity law)은 함수형 프로그래밍에서 모나드가 가져야 하는 중요한 특성 중 하나입니다. 모나드는 데이터 형식을 다루는 추상적인 개념으로, 값을 감싸거나 조작하는 데 사용됩니다.
간단한? 설명 “자연성(naturality)“은 수학에서 함수나 변환자(transformer) 사이의 관계가 다른 수학적인 구조를 변형해도 변환의 특성을 유지하는 것을 의미합니다. 이러한 관계는 수학적인 구조 간에 일관성을 유지하며 변환을 적용할 수 있도록 해줍니다.