- Published on
모나드는 함수형 프로그래밍에서 효과를 포함한 계산을 합성하기 위한 규약이다. 위키피디아 정의를 바탕으로 Functor→Applicative→Monad 계층과 모나드 법칙을 정리하고, JavaScript에서 Array/Promise/Maybe/Either로 어떤 의미를 가지는지 이론적으로 설명한다.
Monad
All Posts
- javascript (19)
- functional-programming (16)
- youtube (8)
- web (7)
- iterable (7)
- iterator (6)
- typescript (5)
- lazy-evaluation (5)
- google (4)
- ai (4)
- generator (4)
- theo (3)
- reduce (3)
- debugging (3)
- audio (2)
- polymorphism (2)
- pipe (2)
- go (2)
- promise (2)
- async (2)
monad (2)
- nextjs (1)
- animation (1)
- agents (1)
- baseline (1)
- function-overloads (1)
- function (1)
- project (1)
- llm (1)
- alphago (1)
- internet (1)
- gemini (1)
- cli (1)
- css (1)
- has (1)
- selector (1)
- getusermedia (1)
- mediadevices (1)
- audiocontext (1)
- web-audio-api (1)
- map (1)
- filter (1)
- arguments (1)
- rest-parameter (1)
- curry (1)
- refactoring (1)
- performance (1)
- eager-evaluation (1)
- type-system (1)
- overloading (1)
- composition (1)
- flatten (1)
- kleisli-composition (1)
- functor (1)
- applicative (1)
- category-theory (1)
- Published on
callback은 결과를 값으로 돌려주지 못한다. Promise는 비동기를 일급 값으로 만들어 합성을 가능하게 한다. 모나드 관점에서 Promise의 안전한 합성을 이해하고, Kleisli Composition으로 외부 상태 변화까지 다뤄보자.