Brian Beckman: Don't fear the Monad
jasonofthel33t · 67:10 · Watch on YouTube
모나드는 A → M(A) 타입의 합성 가능한 함수일 뿐이며, 여기서 bind는 모노이드와 같은 합성 가능성을 복원하고 M은 I/O, 동시성, 쿼리와 같은 부수 효과를 숨긴다.
jasonofthel33t · 67:10 · Watch on YouTube
모나드는 A → M(A) 타입의 합성 가능한 함수일 뿐이며, 여기서 bind는 모노이드와 같은 합성 가능성을 복원하고 M은 I/O, 동시성, 쿼리와 같은 부수 효과를 숨긴다.