- Published on
모나드는 함수형 프로그래밍에서 효과를 포함한 계산을 합성하기 위한 규약이다. 위키피디아 정의를 바탕으로 Functor→Applicative→Monad 계층과 모나드 법칙을 정리하고, JavaScript에서 Array/Promise/Maybe/Either로 어떤 의미를 가지는지 이론적으로 설명한다.
All Posts
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
go, pipe는 reduce로 구현되어 있다. reduce 하나만 고치면 비동기 상황에서도 함수 합성이 안전하게 동작한다. 유명 함수와 재귀로 동기 구간의 성능을 지키면서, Promise.reject까지 안전하게 처리하는 방법을 알아보자.- Published on
callback은 결과를 값으로 돌려주지 못한다. Promise는 비동기를 일급 값으로 만들어 합성을 가능하게 한다. 모나드 관점에서 Promise의 안전한 합성을 이해하고, Kleisli Composition으로 외부 상태 변화까지 다뤄보자.- Published on
중첩 배열을 펼치는 flat 함수를 이터러블로 구현해보자. 그리고 깊은 중첩까지 재귀적으로 펼치는 L.deepFlat을 구현해보자. 그리고 yield * 위임 문법을 알아보자.- Published on
지연 평가 함수들이 단순한 성능 최적화 용도로만 생각하지 말자. 지연평가 함수는 즉시 평가 함수를 만드는 재료가 될 수 있다. L.entries, join, takeAll을 구현하고, L.map과 L.filter로 map과 filter를 재구성해보자.