Tag: #elixir

한국어English日本語中文

← All posts

• Elixir 1.20's Gradual Type System — The Reality of Finding 'Verified Bugs' Without Annotations

  Elixir v1.20, released on June 3, 2026, closed out the first milestone of the set-theoretic type system work that began in 2022. Every Elixir program is now gradually type-checked without a single type annotation, and th

  2026-07-16 · 17 min read #elixir#type-system#beam#compiler#static-analysis

• Modern Elixir & Phoenix 2026 — A Deep Dive on Elixir 1.18, Phoenix 1.8, LiveView 1.0, Oban, Broadway, Bumblebee, Nx, and Livebook

  Elixir in 2026 is much more than a small functional language. Elixir 1.18 ships a set-theoretic types preview. Phoenix 1.8 lands Scope APIs and ships daisyUI by default. LiveView 1.0 finally went GA. Ecto stabilizes as t

  2026-05-16 · 22 min read #elixir#phoenix#liveview#ecto#oban

• Functional + BEAM + Emerging Languages 2026 Deep Dive — Elixir 1.18, Phoenix LiveView 1.1, Gleam, Erlang/OTP 28, Haskell GHC 9.12, OCaml 5.x, Scala 3, Clojure, Roc, Lean 4

  A 2026 tour of the functional programming ecosystem. Elixir 1.18 set-theoretic types preview and Phoenix LiveView 1.1, Gleam rising fast, Erlang/OTP 28 JIT, Haskell GHC 9.12, OCaml 5.x multicore, Scala 3, Clojure 1.13, p

  2026-05-16 · 14 min read #elixir#phoenix#liveview#gleam#erlang

• Functional Languages in 2026 — A Camp-by-Camp Survey of Haskell, OCaml, Elm, Gleam, Roc, Unison, Lean 4, F#, Clojure

  Functional programming sounds like one tribe but five families actually live in different houses. As of May 2026 we map who is alive in each camp, what is growing, what is fading. Jane Street's full move to OCaml 5, Merc

  2026-05-14 · 32 min read #functional-programming#haskell#ocaml#elm#gleam

• The Practical Value of Functional Programming — Monad, Functor, Pure Functions, Haskell, Erlang/Elixir, Gleam, Effect-TS, Phoenix LiveView (2025)

  What React Hooks, Redux, RxJS, Swift, Rust, and Kotlin share — the philosophy of functional programming. How Church's 1930s lambda calculus became 2020s distributed-systems reliability, why Monads are hard yet necessary,

  2026-04-15 · 13 min read #functional-programming#monad#functor#pure-function#haskell

• The Complete Actor Model Guide 2025: Erlang OTP, Akka, Orleans, Elixir — The Real Way to Handle Millions of Concurrent Connections

  How WhatsApp handled 2 million TCP connections on a single server. From the mathematical foundations of the Actor Model to Erlang OTP, Akka, and Microsoft Orleans — a 720-line deep dive into the "Let it crash" philosophy

  2026-04-15 · 32 min read #actor-model#erlang#akka#orleans#elixir