MPL_FrameWork

概要

MPL_Compilerは、ソースコードを「フロントエンド → EMPL IR → バックエンド → C++」というパイプラインで変換する多言語コンパイラです。動的型付け言語（JavaScript、Python、PHP、Rubyなど）と静的型付け言語（C#、Go、Rust、Javaなど）の両方をサポートし、単一のC++出力に統合します。JavaScriptフロントエンドはNode.js互換のモジュール解決、ESM/CJS、デコレーター、BigInt、ES2025の新機能まで対応しており、実際のnpmパッケージのコンパイルも可能です。CMakeベースのビルドシステムとCTestによる包括的なテストスイートを備え、品質と再現性を担保しています。

主な特徴

• 多言語フロントエンド: JavaScript/TypeScript、Python、C#、Go、Rust、PHP、Ruby、Java、そして組み込み言語EMPLSを統一的にサポート。
• EMPL IR: 動的型付け／静的型付けを問わず、クラス・制御構造・非同期／ジェネレーターを含むすべての言語機能を抽象化した中間表現。
• プラグインアーキテクチャ: ILanguageFrontend／ILanguageBackendインターフェースとPluginRegistryにより、新規言語やターゲットを容易に追加可能。
• モダンJavaScript: ESM/CJSの両方、厳格モード、クラス、デコレーター、BigInt、Symbol、for-await-of、using宣言、ES2025機能までを網羅。
• 実パッケージ対応: 実際のnpmパッケージをNode.js互換のモジュール解決（node_modules、package.jsonのexports/imports）でコンパイル可能。

概要

MPL_Transpilerは、MPL_FrameWorkの中核であるEMPL IRをハブとして活用するトランスパイラです。各言語フロントエンドが生成する統一IRを経由することで、言語間のロジック等価性を保ちつつ、ASTレベルでの高精度な構造変換を行います。レガシー資産のモダン言語への移行（例: 古いJavaからGoやRustへ）においても、ターゲット言語のベストプラクティス（Idiomatic Code）に基づいた変換とリファクタリング提案を出力することを目標としています。

主な特徴

• ASTベース変換: 単なるテキスト置換ではなく、抽象構文木レベルでの構造変換により、論理的矛盾のないコード生成を実現。
• コメント・スタイル保持: 元のコードに含まれるドキュメントやコメント、インデントスタイルを可能な限りターゲット言語の慣習に合わせて維持。
• AIアシスト型型推論: 動的型付け言語から静的型付け言語への変換時に、文脈から最適な型定義を自動補完。

概要

MPL_Standard（MPL Standard Library）は、MPL_FrameWorkにおける「言語中立かつターゲット中立な API 層」です。JavaScript の console.log も Python の print() も、内部的には StandardLibraryCallNode("Console", "WriteLine", [...]) という同じ IR ノードに変換されます。これにより、フロントエンド側 (各言語の構文糖衣) とバックエンド側 (C++ 等の生成) の双方が、言語やターゲットに縛られることなく共通 API を利用できます。Specification.json が純粋な型・シグネチャの真実の源であり、CppImpl.h はその C++20 実装です。

主な特徴

• 言語中立な API: Console, Environment, IO, Path, Process, Math, String, DateTime の 8 モジュールを純粋な仕様として提供。
• StandardLibraryCallNode: 各フロントエンドの標準ライブラリ呼び出しは、IR 上でこのノードに正規化される。
• Specification.json: 型・引数・戻り値を含む純粋な JSON 仕様が単一の真実の源 (Single Source of Truth)。
• ターゲット非依存: C++, JavaScript, Python など、どのバックエンド実装にも置き換え可能な等価 API を定義。
• C++ 実装: MPL_Standard/CppImpl.h が第三者依存ライブラリ無しで C++20 のみで実装。

概要

EMPLS (EMPL Sample Language) は、MPL_FrameWork プロジェクトに同梱されている公式組み込み言語です。「すべてのフロントエンド／バックエンドが共有する 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 がパース可能 (リント・検証用途)。