Monad
[Category Theory](https://texonom.com/category-theory-1b6594b7d4ce4c128ec2f9aed95d9f3c) 


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

[ID Function](https://texonom.com/id-function-d20e78d14e134e1a822aaf266bd0c8ec)




### Notion
> [3분 모나드](https://overcurried.com/3%EB%B6%84%20%EB%AA%A8%EB%82%98%EB%93%9C/)

### Usage
> [간단한 모나드 설명과 예제](https://black7375.tistory.com/69)





