BuriKaigi 2025
レギュラートーク(30分)
JSONで書いた式を評価できるチューリング完全なプログラミング言語「ExprML」の開発
Jumpaku
Jumpaku
JSONのユニークな利用例として自作言語「ExprML」の開発について紹介します。
ExprMLは「JSONで式を記述」「他言語に組み込み可能」をコンセプトとした自作言語です。「汎用データ記述フォーマットJSON」と「JSONの型・制約を規定するJSON Schema」を活用することで次の開発上の利点を実現します。
- 実装の省力化：インタープリタは既存のJSONデコーダを使用して字句／構文解析の手間を省略できるため、複数言語で容易に実装可能
- 既存ツールの活用：言語仕様がJSON Schemaで記述され、ソースコードはJSONで書けるため、既存の静的解析ツール等をそのまま利用可能
発表では上記解説の他に以下のデモを実施します。
- 記述可能な式の例
- 他言語に組み込んだ利用
- ExprMLと既存ツールの連携
- Brainfuck実装によるチューリング完全性の証明