Tag: #lean4
Writing on GPUs, LLMs, MLOps, Kubernetes — and mindset · 1 posts
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