拡張可能な埋め込み言語

Extensible Embeddable Language ( EEL ) は、David Olofson が開発中のスクリプトおよびプログラミング言語です。EEL は、音楽シンセサイザーや産業用制御システムなど、サイクル レートが kHz 範囲のリアルタイム システムでのスクリプトを目的としていますが、プラットフォームに依存しない汎用プログラミング言語としても使用可能になることを目指しています。

言語設計に関しては、一般的には、パワー、使いやすさ、安全性の間で実用的なバランスをとることが目的です。その目的は、冗長な構文や制限された機能に頼ることなく、多くの典型的なプログラミングミスを回避することです。

EEL の最初のバージョンは、構造化されたオーディオ定義用のシンプルなパーサーの形で、X11ゲーム XKoboのSDLポートであるフリーでオープン ソースの ゲームKobo Deluxeのサウンド エンジンで使用されていました。これは、フロー制御が非常に制限されたシンプルなインタープリターであり、構文は現在のバージョンとはまったく異なります。この EEL の最初のブランチは 2002 年に最初にリリースされ、バージョン 0.5.1 の Kobo Deluxe でも引き続き使用されています。

2003 年 12 月、EEL はスタンドアロン プロジェクトに分割され、組み込み レオロジーアプリケーションでのリアルタイム スクリプトに使用するために大幅な書き直しが行われました。ここで、インタープリタからコンパイラ/ VMへの切り替えが行われ、実際のプログラミング言語 EEL が実現しました。最初の公式リリースは 2005 年 1 月でした。それ以来、EEL はゆっくりと進化してきましたが、その原動力は主に作者の個人的および専門的なニーズでした。

この言語は、特定のプログラミング パラダイム向けに厳密に設計されているわけではありませんが、最小限の構文シュガー機能を通じて、オブジェクト指向プログラミング、より具体的にはプロトタイプ ベースのプログラミングをサポートしています。関数型プログラミング、モジュール型プログラミング、メタプログラミングなどの他のプログラミング スタイルやパラダイムもサポートされています。

ポインターを回避し、完全に管理された構造化データ型を提供することで、EEL プログラムは仮想マシンまたはホスト アプリケーションをクラッシュさせることができないという意味で、EEL は「安全」になります。

• C のような構文。
• 不透明な参照(生のポインタとは対照的)。
• 動的型付け。
• 自動メモリ管理。
• 例外処理。
• 次のような組み込み構造化データ型:
  • 文字列- 不変の文字列。
  • dstring - 動的文字列。
  • ベクトル- 固定型の数値配列。
  • 配列-動的に型指定された要素の配列。
  • テーブル-連想配列。

古典的なhello world プログラムは次のように記述できます。

関数main<args>
をエクスポートします。
    print("こんにちは、世界！\n");
    0を返す;
 }

以下は再帰関数の例です。

関数main<args>
をエクスポートします。
    print("再帰テスト1:\n");
    
    手順recurse(arg)
     {
        print("arg = ", arg, "\n");
        引数の場合
            再帰(引数 - 1);
    }
    
    再帰(10);
    
    print("再帰テスト2; 相互再帰:\n");
    
    手順mrecurse2(arg);
    
    手順mrecurse1(arg)
     {
        print("arg = ", arg, "\n");
        引数の場合
            mrecurse2(引数);
    }
    
    手順mrecurse2(arg)
     {
        mrecurse1(引数 - 1);
    } ;
    
    10 ...
    
    print("再帰テスト 2; 関数参照による相互再帰:\n");
    
    手順mrrecurse1(arg, fn)
     {
        print("arg = ", arg, "\n");
        引数の場合
            引数fnは引数fnの直後に返されます。
    }
    
    ローカルmrr2 =プロシージャ(arg, fn)
     {
        mrrecurse1(引数 - 1,関数);
    } ;
    
    mrr2 を再帰的に実行します。
    
    print(再帰テストが完了しました。\n);
    0を返す;
 }

EEL ソース コードは、命令数とオーバーヘッドを最小限に抑えるように設計された比較的高レベルの命令セットを持つカスタムVMのバイトコードにコンパイルされます。EEL VM はレジスタ ベースで「スタックレス」であり、VM コンテキストの管理にC呼び出しスタックに依存しません。

基本的なメモリ管理方法は参照カウントであり、これにより、同時ガベージ コレクションを必要とせずに、決定論的なタイミングで自動メモリ管理が可能になります。

VM は「リンボ リスト」を使用して、式など内で作成された中間オブジェクトを追跡します。これにより、例外処理が大幅に簡素化され、すべての操作でアクティブな参照カウントを行う必要がなくなります。

Kobo DeluxeはEELのアプリケーションです。^[1]

• EEL ホームサイト
• Kobo Deluxe ホームサイト