태그: #elixir
GPU·LLM·MLOps·쿠버네티스, 그리고 마음가짐에 관한 글 · 6 편
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함수형 언어 2026 진영 지도 — Haskell, OCaml, Elm, Gleam, Roc, Unison, Lean 4, F#, Clojure 한 번에 정리하는 메타 서베이
함수형 프로그래밍이라는 말로 묶이지만 실제로는 ML 가문, Haskell 가문, BEAM 가문, Lisp 가문, 그리고 신생 라인이 따로 산다. 2026년 5월 기준으로 각 진영이 누구 손에 살아 있고 무엇이 자라며 무엇이 시드는지, 한 권으로 펼쳐 보는 메타 서베이. Jane Street의 OCaml 5 전면 전환, Mercury와 Standard Chartered의 Haskell, Elm
2026-05-14 · 55 분 읽기 #functional-programming#haskell#ocaml#elm#gleam함수형 프로그래밍의 실용 가치 심화 가이드 — Monad, Functor, 순수 함수, Haskell, Erlang/Elixir, Gleam, Effect-TS, Phoenix LiveView까지 (2025)
React Hooks, Redux, RxJS, Swift, Rust, Kotlin이 공유하는 한 가지 — 함수형 프로그래밍의 철학. 1930년대 Church의 람다 계산법이 어떻게 2020년대 분산 시스템의 신뢰성으로 이어지는지, Monad가 왜 어렵고 왜 필요한지, Erlang/Elixir가 어떻게 99.9999999%(nine nines) 가용성을 만드는지 — 범주론 없이 실무 관점에서
2026-04-15 · 24 분 읽기 #functional-programming#monad#functor#pure-function#haskellActor Model 완전 가이드 2025: Erlang OTP, Akka, Orleans, Elixir — 수백만 동시성을 다루는 진짜 방법
WhatsApp이 2백만 TCP 연결을 하나의 서버에서 처리한 비결. Actor 모델의 수학적 기반부터 Erlang OTP, Akka, Microsoft Orleans까지 — Let it crash 철학과 수백만 동시성의 비밀을 720줄로 완전 분석한다.
2026-04-15 · 51 분 읽기 #actor-model#erlang#akka#orleans#elixir