タグ: #beam
GPU・LLM・MLOps・Kubernetes、そしてマインドセット · 5 件
Elixir 1.20 の漸進型システム — アノテーションなしで「検証済みバグ」を見つけるということの実際
2026年6月3日にリリースされたElixir v1.20は、2022年に始まった集合論的型システムの最初のマイルストーンを完了させました。これでElixirの全プログラムが、型アノテーションを一行も書かずに漸進的に型チェックされ、コンパイラがガード・関数本体・節の間で型を推論して「実行すれば必ずランタイムで落ちる」違反とデッドコードを見つけます。核心はdynamic()型で、他言語のany()が型情報を捨てるのとは違い、Elixirの
2026-07-16 · 32 分で読めます #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 のジョブ処理（と年 999 ドルの Pro 騒動）、Broadway による Kafka/RabbitMQ/AMQP データ
2026-05-16 · 30 分で読めます #elixir#phoenix#liveview#ecto#obanモダン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が公式推奨インストーラとして定着したことで、Cabal 3.14とStackの選択は単純になった。IHPがRails級のフルスタック体験を提供し、Servantが型付きHTTP APIの標準となり、Effectfulがmtlスタイルを急速に置き換えてい
2026-05-16 · 27 分で読めます #haskell#ghc-9-10#ghc-9-12#ghcup#cabalモダン Erlang と BEAM 2026 — OTP 27 / OTP 28 プレビュー / Cowboy 3 / Bandit / Khepri / Gleam / Nerves / AtomVM 徹底ガイド
30 年もののバーチャルマシンが 2026 年に元気どころか、むしろ進化のペースを上げている。Erlang/OTP 27 の文字列補間と persistentterm の改善、OTP 28 プレビュー、Cowboy 3、純 Elixir で書かれた Bandit、RabbitMQ チームが Raft の上に作った Mnesia 後継 Khepri、分散 Erlang の代替 partisan、組み込みの Nerves と ESP32 で
2026-05-16 · 33 分で読めます #erlang#otp-27#otp-28#beam#cowboy関数型 + 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