React Hooks, Redux, RxJS, Swift, Rust, Kotlin이 공유하는 한 가지 — 함수형 프로그래밍의 철학. 1930년대 Church의 람다 계산법이 어떻게 2020년대 분산 시스템의 신뢰성으로 이어지는지, Monad가 왜 어렵고 왜 필요한지, Erlang/Elixir가 어떻게 99.9999999%(nine nines) 가용성을 만드는지 — 범주론 없이 실무 관점에서 추적한다.
TypeScript는 왜 "자바스크립트의 타입 추가"가 아니라 "독자적 타입 언어"가 되었나? 구조적 타이핑, Mapped/Conditional/Template Literal Types, satisfies의 작은 혁명, 타입 수준 프로그래밍, Anders Hejlsberg의 Go 포팅 (2025년 10배 빠른 tsc), Zod/ArkType/Valibot 런타임 검증, Effect-TS와 tRPC의 end-to-end 타입 안전성 — TypeScript의 모든 것.