https://overcurried.com/3%EB%B6%84%20%EB%AA%A8%EB%82%98%EB%93%9C/ 이분이 하는말이 더 맞는말인걸까 네이버에선 map 과 flatMap 이 있어야 한다하고 이분은 pure 와 compose 가 구현되어야 한다고함 ㅇㅅㅇ...
어저라고
하스켈에서 모나드 구현하려면 모나드뿐아니라 그런거 다 구현해줘야 될껄 그리고 하스켈이 곧 함수형인거 같으니까 하스켈이 그렇다고 하면 그런거겠지
잘 모르겠지만 모든 monad는 applicative라는 말이 applicative도 구현해야 된다는 얘기 아님?