태그: #beam
GPU·LLM·MLOps·쿠버네티스, 그리고 마음가짐에 관한 글 · 5 편
Elixir 1.20의 점진 타입 시스템 — 어노테이션 없이 "검증된 버그"를 찾는다는 것의 실제
2026년 6월 3일 나온 Elixir v1.20은 2022년에 시작한 집합론적 타입 시스템의 첫 번째 마일스톤을 끝냈습니다. 이제 모든 Elixir 프로그램이 타입 어노테이션 한 줄 없이 점진적으로 타입 체크되고, 컴파일러가 가드·함수 본문·절 사이에서 타입을 추론해 "실행되면 반드시 런타임에 터지는" 위반과 죽은 코드를 찾아냅니다. 핵심은 dynamic() 타입인데, 다른 언어의 any(
2026-07-16 · 31 분 읽기 #elixir#type-system#beam#compiler#static-analysis모던 Elixir & Phoenix 2026 — Elixir 1.18 / Phoenix 1.8 / LiveView 1.0 / Oban / Broadway / Bumblebee / Nx / Livebook 심층 가이드
2026년의 Elixir는 작은 함수형 언어 그 이상이다. Elixir 1.18의 set-theoretic types 프리뷰, Phoenix 1.8의 Scope API와 daisyUI 기본 적용, LiveView 1.0의 정식 출시, Ecto가 만든 DB 추상의 안정성, Oban의 잡 처리(그리고 Pro $999 논란), Broadway의 Kafka/RabbitMQ/AMQP 데이터 파이프라인
2026-05-16 · 36 분 읽기 #elixir#phoenix#liveview#ecto#oban함수형 + 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모던 Haskell 2026 — GHC 9.10 / 9.12 / GHCup / Cabal 3.14 / Stack / IHP / Servant / Effectful / Pandoc / Cardano 심층 가이드
2026년의 Haskell은 더 이상 "박사학위 받은 사람들이 논문 쓰려고 쓰는 언어"가 아니다. GHC 9.10(2024년 5월)과 9.12(2024년 12월)로 컴파일러는 한 단계 더 빨라졌고, GHCup이 공식 권장 설치 도구로 자리 잡으면서 Stack과 Cabal 3.14 사이의 선택이 단순해졌다. IHP가 Rails 같은 풀스택 경험을 제공하고, Servant가 타입드 HTTP AP
2026-05-16 · 32 분 읽기 #haskell#ghc-9-10#ghc-9-12#ghcup#cabal모던 Erlang & BEAM 2026 — OTP 27 / OTP 28 preview / Cowboy 3 / Bandit / Khepri / Gleam / Nerves / AtomVM 심층 가이드
30년 된 BEAM은 2026년에도 여전히 살아 있다 — 오히려 더 진화하고 있다. Erlang/OTP 27의 문자열 보간과 persistentterm 개선, OTP 28 preview, Cowboy 3 HTTP 서버, 순수 Elixir인 Bandit, RabbitMQ 팀이 만든 Mnesia 후속 Khepri와 Raft 합의, 분산 Erlang 대안 partisan, IoT용 Nerves와
2026-05-16 · 38 분 읽기 #erlang#otp-27#otp-28#beam#cowboy