タグ: #lean4
GPU・LLM・MLOps・Kubernetes、そしてマインドセット · 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 types プレビューと 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 · 22 分で読めます #elixir#phoenix#liveview#gleam#erlang