다정한 강아지

구글과 나무위키를 타고타고 '모나드'를 검색해보면.. https://namu.wiki/w/Haskell/%EB%AA%A8%EB%82%98%EB%93%9C Haskell/모나드 - 나무위키 타입 생성자 f에 대해 적절한 함수 fmap :: (a -> b) -> f a -> f b이 존재하여 다음 성질들을 만족할 때, f를 함자(Functor)라고 한다. 항등함수 id :: a -> a에 대해 fmap id :: f a -> f a도 항등함수다.모든 함수 f namu.wiki 뭐.. 뭐라고요 ? 일단 모나드란. 여러 영역에서 다양한 뜻을 가지고 있는.. 아무도, 이거다!라고 정의할 수는 없지만. 내가 앞으로 설명할 3가지 조건들 중 하나라도(?) 갖추고 있는 것을 "모나드"라고 할 수 있다. 고는 말할 수 ..