2026年– date –

Zigは2016年にAndrew Kelleyが個人プロジェクトとして公開した汎用プログラミング言語で、「C言語を置き換える明快な後継」を目標に掲げています。現在は非営利組織Zig Software Foundationが開発を主導し、コミュニティ主導で言語仕様とコンパイラが進化...

Wasmerは2019年にIvan Enderlinらが共同創業した米国のスタートアップWasmer Inc.が開発するWebAssemblyランタイムで、「あらゆる言語のあらゆる場所で動くWasm」を企業ミッションとして掲げています。Wasmtimeと同じくRustで実装されていますが、コンパイ...

WasmtimeはBytecode Allianceが開発する単独実行可能なWebAssemblyランタイムで、2019年11月に発足したアライアンスの旗艦プロジェクトとして開始されました。Mozilla、Fastly、Intel、レッドハットといった創設メンバーが共同で開発・運営し、ブラウザ外...

GraalVMはOracle Labsが2018年4月に正式版1.0を公開した多言語対応の実行基盤で、JVMを土台にしつつ独自のJITコンパイラGraalと、ネイティブイメージ生成機能Native Imageを組み合わせています。Java、Kotlin、ScalaといったJVM言語に加え、JavaScript、Py...

BEAMはErlangとElixirの実行基盤となっている仮想マシンで、Bogdan/Bjorn's Erlang Abstract Machineの頭文字に由来します。1980年代にスウェーデンのエリクソン社で電話交換機向け言語として開発されたErlangの世代を経て、1990年代後半に当時のメンテナB...

JVMはJava Virtual Machineの略で、1995年にSun Microsystemsが発表したJava言語の実行基盤として登場しました。Javaソースコードをコンパイルして得られるバイトコードをプラットフォーム横断で動かす仕組みであり、「Write Once, Run Anywhere」というス...

LLVMは2000年にイリノイ大学の大学院生だったChris Lattnerが博士研究として開発を始めたコンパイラ基盤で、現在はLLVM Foundationが運営するオープンソースプロジェクトとして膨大な数の言語処理系を支えています。C/C++向けフロントエンドのClang、Swift...

LLVMは2000年にイリノイ大学の大学院生だったChris Lattnerが博士研究として開発を始めたコンパイラ基盤で、現在はLLVM Foundationが運営するオープンソースプロジェクトとして膨大な数の言語処理系を支えています。C/C++向けフロントエンドのClang、Swift...

F#は2005年にMicrosoft Researchケンブリッジ研究所のDon Symeによって発表された、.NET基盤上で動作する関数型プログラミング言語である。OCamlを強く参照しつつ、C#やVB.NETと同じ共通言語ランタイム（CLR）上で動作する設計を採用し、.NETエコシステム...

OCamlは1996年にフランス国立情報学自動制御研究所（INRIA）のXavier Leroyらが開発した、ML（Meta Language）系の静的型付け関数型プログラミング言語である。Standard MLの兄弟に当たり、強力な型推論、代数的データ型、パターンマッチング、オブジェク...