タグ: #programming-languages
GPU・LLM・MLOps・Kubernetes、そしてマインドセット · 5 件
型検査を通った二つのサービスが互いを待って止まるとき — コレオグラフィという別のアプローチ
メモリ安全を保証する言語を使っても、二つのサービスが互いのメッセージを待って止まることは防げません。型検査器の視野がプロセスひとつで終わるからです。コレオグラフィプログラミングはシステム全体をひとつのプログラムとして書き、コンパイラにノードごとのコードを取り出させることで、この境界自体をなくします。最近公開されたWyzerを手がかりに、エンドポイント射影とは何か、なぜデッドロックが設計上消えるのか、そしてこの言語がいまどの段階にあるのか
2026-08-09 · 14 分で読めます #programming-languages#compiler#distributed-systems#type-systems#concurrency小さな言語の魅力 — Janet、Luaと組み込みスクリプティングの世界
エッセイ Why Janet が再びHNの上位に登場し、小さな組み込み可能言語への関心が復活しています。Luaの成功事例からJanetの設計哲学、C言語への組み込み実践例、DSL設計入門、プロダクション導入時の考慮事項まで、小さな言語の世界を深く探検します。
2026-06-12 · 25 分で読めます #janet#lua#embedded-scripting#dsl#programming-languagesニッチなモダンプログラミング言語2026完全ガイド - Crystal・Pony・Mojo・Carbon・Hare・Roc・Vale・Virgil 徹底解剖
2026年、メインストリームを超えたプログラミング言語の景色を俯瞰する。Crystal・Pony・Mojo・Carbon・Hare・Roc・Vale・Virgil・Gleam・Grain・Chapel・Inko・Hylo・Austral・Odin・Jai・V・Wuffs・Mun・Beefまで——各言語の設計思想、メモリモデル、並行性モデル、エコシステム、採用市場、韓国・日本のコミュニティ、そして「なぜわざわざニッチ言語を使うのか」という
2026-05-16 · 27 分で読めます #programming-languages#crystal#pony#mojo#carbonニッチ & 新興プログラミング言語 2026 — Crystal / Nim / V / Carbon / Mojo / Pony / Hare / Roc / Hylo / Vale / Koka / Tcl 9 / Fortran 2023 徹底ガイド
2026年5月時点のニッチ & 新興プログラミング言語をまとめる。Crystal 1.14、Nim 2.x、V(Vlang)の長期ベータ、Carbon のアルファ、Mojo の 2024.8 GA、Pony、Hare、Roc、Hylo、Vale、Inko、Koka、Common Lisp(SBCL)、Racket、Tcl 9、Fortran 2023、Modula-3、J、OpenSCAD、Forth、Factor、Plan-9 まで
2026-05-16 · 29 分で読めます #programming-languages#crystal#nim#vlang#v関数型言語 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