Category Theory, Algebraic Structure, and Haskell

모나드(monad)는 그냥 자기 함자(endofunctor) 범주의 모노이드(monoid)일 뿐인데, 대체 뭐가 어렵다는 거냐?-1990, 필립 와들러 (하스켈 설계 책임자)- 하스켈은 대수적인 자료형을 조작하는 범주론(Category theory)에 따라 프로그래밍 언어를 설계했습니다. 우리는 범주론의 약간의 개념과 이를 구현한 하스켈에 구현체에 대해 알아보겠습니다. Category Theory(범주론) 범주론(Category Theory)...