바인드(bind) 모나드 합성이 진짜 함수형일까?
모나드 합성이 과연 함수형일까 의심해본적이 있나요? 예를 하나 들어볼게요. 리스트 모나드를 이용해서 자연수의 변을 가진 삼각형(Integer Triangles)을 출력 해볼게요....
Tags: monad, functional, haskell, mathematics