[질문] 그래서 모나드가 뭔데 씹덕아

[익명(223.38)]

모나드 설명 찾아보면 하나같이 단편 에세이 수준인데 속시원하게 한두문장으로 설명해줄 사람 있냐

[다믜(damhiya)]

한문장으로 줄인다면 : 함수형 언어에서 명령형 언어를 모델링하는 방법

[다믜(damhiya)]

아니면 "A monad is just a monoid in the category of endofunctors"도 있는데

[ஐ(bemanisokr)]

endofunctor 카테고리의 모노이드인데 뭐가 문제임?

[익명(223.38)]

수학갤로

[익명(118.38)]

모나드는 부리또임

[익명(39.7)]

of, map, apply, bind 을 구현하는 제네릭 클래스 - dc App

[익명(121.151)]

함수형은 처리순서라는게 없음 서로 독립적이라 아무순서로 처리해도 차이가 없음 근데 모나드로 연결하면 순서가 생김 아님 말고 - dc App

[익명(121.141)]

Future[T], Option[T] 비슷한 거

[익명(123.248)]

morphism을 functor에 싸서 드셔보세요 - dc App

[이읗(attltb2)]

진지하게 "A에서 T〈B〉로 가는 함수가 A에서 B로 가는 함수를 기능적/의미론적으로 확장한 것으로 해석될 수 있으며 또한 그렇게 사용될 수 있는 모든 타입컨스트럭터(제네릭, 템플릿 등 포함)" 임. 다른건 다 모나드의 일부밖에 설명하지 못하는 쌉소리라고 보면 된다.

[익명(210.222)]

그뭔씹

[이읗(attltb2)]

그러니까 T->Optional<U> 타입의 함수가 있다 치면 이걸 T에서 Optional<U>로의 함수로 볼 수도 있지만 반환값이 없을 수도 있는 T에서 U로의 함수로 볼 수도 있잖아. 이런거라고. 어디가 이해가 안되는데 씹덕아.