Embedded Language開発中

EMPLS

MPL_Compiler の組み込み言語。EMPL IR のラウンドトリップ検証と標準ライブラリのデモを兼ねる、シンプルで扱いやすい中間記法。

シンプル構文EMPL IR対応サンプル駆動

概要

EMPLS (EMPL Sample Language) は、MPL_Compiler プロジェクトに同梱されている組み込み言語です。「すべてのフロントエンド／バックエンドが共有する EMPL IR そのものを、可読なソースコードで書いたらどうなるか」を示す、いわば IR の人間可読版として設計されています。明示的な型注釈、クラス、ラムダ、try-catch-finally など、近代的な言語機能を一通り備えながら、構文は学習コストを抑えるために最小限に保たれています。examples/main.empls や docs/empls-grammar.md が公式の仕様書・リファレンス実装として機能します。

主な特徴

明示的な型注釈: var/let/const に続けて「:: 型名」という構文で var::int のように変数の型を宣言可能。
標準ライブラリ呼び出し: System.Console.WriteLine(...) などの MPL Standard API をそのまま記述可能。
モダン制御構文: if, for, for-of, while, do-while, switch, try-catch-finally を一通りサポート。
クラスとラムダ: class/constructor/func 宣言と lambda(params){...} 式の両方を利用可能。
ラウンドトリップ対応: EMPLPrinter が出力する EMPL IR テキストを EMPLSFrontend がパース可能 (リント・検証用途)。

リンク

GitHubで見る

技術仕様

用途組み込み言語 (サンプル・検証用)

位置付けMPL_Compiler 公式サンプル言語

BNF 仕様docs/empls-grammar.md

ラウンドトリップEMPLPrinter ⇄ EMPLSFrontend