プログラミング・開発言語– category –

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の兄弟に当たり、強力な型推論、代数的データ型、パターンマッチング、オブジェク...

Lispは1958年に米マサチューセッツ工科大学（MIT）のJohn McCarthyによって設計された、現存するもっとも古い高水準プログラミング言語の一つである。「LISt Processor」の略にふさわしく、コードもデータも括弧で囲まれたリスト（S式）で表現する独特の文...

Prologは1972年にフランスのマルセイユ第二大学でAlain Colmerauerと学生Philippe Rousselらによって設計された、論理プログラミングのパイオニア的言語である。事実とルールを述語論理の形で記述すると、処理系が単一化と探索を通じて結論を導く宣言型の...