タグ: #elixir
GPU・LLM・MLOps・Kubernetes、そしてマインドセット · 6 件
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関数型 + 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関数型言語 2026 陣営マップ — Haskell, OCaml, Elm, Gleam, Roc, Unison, Lean 4, F#, Clojure を一冊で読むメタサーベイ
関数型プログラミングという一語に丸められても、実際には ML 系、Haskell 系、BEAM 系、Lisp 系、そして新興系の五つの家が別々に住んでいる。2026 年 5 月時点で、どの陣営が誰の手で生きていて、何が育っていて何が枯れているのか、一枚の地図で俯瞰する。Jane Street の OCaml 5 全面切替、Mercury と Standard Chartered が支える Haskell、止まった Elm 0.19 と引
2026-05-14 · 50 分で読めます #functional-programming#haskell#ocaml#elm#gleam関数型プログラミングの実用価値 深掘りガイド — Monad, Functor, Pure Function, Haskell, Erlang/Elixir, Gleam, Effect-TS, Phoenix LiveView (2025)
React Hooks、Redux、RxJS、Swift、Rust、Kotlin が共有する一つのもの — 関数型プログラミングの思想。1930年代 Church のラムダ計算が、なぜ2020年代の分散システムの信頼性へと繋がるのか、なぜ Monad は難しいのに必要なのか、Erlang/Elixir はどうやって nine nines の可用性を達成するのか — 圏論なしに実務の視点で追う。
2026-04-15 · 18 分で読めます #functional-programming#monad#functor#pure-function#haskellActor Model 完全ガイド 2025: Erlang OTP、Akka、Orleans、Elixir — 数百万同時接続を扱う本物の方法
WhatsApp が単一サーバーで 200 万 TCP 接続を処理した秘訣。Actor モデルの数学的基盤から Erlang OTP、Akka、Microsoft Orleans まで — Let it crash 哲学と数百万同時接続の秘密を 720 行で完全分析。
2026-04-15 · 47 分で読めます #actor-model#erlang#akka#orleans#elixir