태그: #lean4
GPU·LLM·MLOps·쿠버네티스, 그리고 마음가짐에 관한 글 · 1 편
함수형 + BEAM + 신생 언어 2026 심층 가이드 — Elixir 1.18, Phoenix LiveView 1.1, Gleam, Erlang/OTP 28, Haskell GHC 9.12, OCaml 5.x, Scala 3, Clojure, Roc, Lean 4
2026년 함수형 프로그래밍 생태계 총정리. Elixir 1.18의 set-theoretic 타입 프리뷰와 Phoenix LiveView 1.1, Gleam의 빠른 성장, Erlang/OTP 28 JIT, Haskell GHC 9.12, OCaml 5.x 멀티코어, Scala 3, Clojure 1.13, 그리고 Roc/Lean 4/Unison까지 — 실제 프로덕션 사례와 함께 살펴봅니다.
2026-05-16 · 24 분 읽기 #elixir#phoenix#liveview#gleam#erlang