Alan Jo연산을 정의하고, 추상화 하기 위해 쓰이는 것
모나드를 이용하면 Side Effect가 없는 함수, 즉 순수함수를 만들 수 있다
Eugenio Moggi라는 Computer Scientist가category theory에서 모나드로 연산을 정의하고 추상화 할 수 있다는 걸 발견했다
compose - chaining 되는 것
pure - 연산 m에 대한 id 함수
- 모나드의 겉뜻: 어떤 타입
M에 대해 두 함수,pure과compose가 존재할 때,M은 모나드이다.
- 모나드의 속뜻: 어떤 것이 모나드임이 시사하는 바는 그것이 합성될 수 있는 연산이라는 점이다.
- 모나드: 모나드란, 합성할 수 있는 연산이다.
