Effect-ts

Published on
2026년 4월 15일
함수형 프로그래밍의 실용 가치 심화 가이드 — Monad, Functor, 순수 함수, Haskell, Erlang/Elixir, Gleam, Effect-TS, Phoenix LiveView까지 (2025)
functional-programming monad functor pure-function haskell elixir erlang otp gleam effect-ts fp-ts phoenix rxjs culture
React Hooks, Redux, RxJS, Swift, Rust, Kotlin이 공유하는 한 가지 — 함수형 프로그래밍의 철학. 1930년대 Church의 람다 계산법이 어떻게 2020년대 분산 시스템의 신뢰성으로 이어지는지, Monad가 왜 어렵고 왜 필요한지, Erlang/Elixir가 어떻게 99.9999999%(nine nines) 가용성을 만드는지 — 범주론 없이 실무 관점에서 추적한다.
Published on
2026년 4월 15일
TypeScript 타입 시스템의 깊이 — 구조적 타이핑, Generic, Conditional, satisfies, tsc Go 포팅, Zod, tRPC까지 (2025)
typescript types zod trpc effect-ts language culture
TypeScript는 왜 "자바스크립트의 타입 추가"가 아니라 "독자적 타입 언어"가 되었나? 구조적 타이핑, Mapped/Conditional/Template Literal Types, satisfies의 작은 혁명, 타입 수준 프로그래밍, Anders Hejlsberg의 Go 포팅 (2025년 10배 빠른 tsc), Zod/ArkType/Valibot 런타임 검증, Effect-TS와 tRPC의 end-to-end 타입 안전성 — TypeScript의 모든 것.

함수형 프로그래밍의 실용 가치 심화 가이드 — Monad, Functor, 순수 함수, Haskell, Erlang/Elixir, Gleam, Effect-TS, Phoenix LiveView까지 (2025)