그림으로 설명하는 하스켈 펑터, 어플리커티브, 모나트

그림으로 설명하는 펑터, 아플리커티브, 모나드 2015년 12월 20일 번역[ 원글 : http://adit.io/posts/2013-04-17-functors,_applicatives,_and_monads_in_pictures.html ] 여기 간단한 값(value)의 예가 있다: 이 값에 함수를 적용해 보자: 간단하지요. 어떤 문맥 안에 값을 놓고 반복해보자. 당분간 문맥을 값을 집어 넣을 수 있는 박스로 생각하자.: 함수를 이 값에 적용하면 그 문맥에 따라 다른 결과를 얻을 것이다. 펑터, 어플리커티브, 모나드, 애로우 등 모든 개념이 이 아이디어를 기초로 하고 있다. Maybe 데이터 타입은 두 가지 연관된 문맥을 정의한다: data Maybe a = Nothing | Just a Just a와 ..