- Published on
함수형 프로그래밍이라는 말로 묶이지만 실제로는 ML 가문, Haskell 가문, BEAM 가문, Lisp 가문, 그리고 신생 라인이 따로 산다. 2026년 5월 기준으로 각 진영이 누구 손에 살아 있고 무엇이 자라며 무엇이 시드는지, 한 권으로 펼쳐 보는 메타 서베이. Jane Street의 OCaml 5 전면 전환, Mercury와 Standard Chartered의 Haskell, Elm 0.19의 멈춤과 Lamdera 분기, Gleam 1.16, Roc의 0.1.0 마일스톤, Unison 1.0, Lean 4의 수학 증명·시스템 언어 양다리, Effect-TS가 fp-ts를 흡수한 사건까지 — 신생 스타트업이 2026년에 함수형 언어를 고르는 게 합리적인가 비합리적인가에 대한 솔직한 답.