タグ: #beam

← すべての記事

• 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