動的言語ランタイム

MicrosoftのDynamic Language Runtime（DLR）は、 Common Language Runtime（CLR）上で動作し、動的言語向けのコンピュータ言語サービス を提供します。これらのサービスには以下が含まれます。

• DLRサービスを利用するすべての言語で共有される動的型システム
• 動的メソッドディスパッチ
• 動的コード生成
• ホスティングAPI

DLRは、IronPythonやIronRubyプロジェクトなど、.NET Framework上で動的言語を実装するために使用されます。

動的言語の実装は共通の基盤システムを共有しているため、相互に連携しやすくなります。例えば、どの動的言語のライブラリでも、他の動的言語で利用できるようになります。さらに、ホスティングAPIは、 C#やVisual Basic .NETなどの静的型付けCLI言語との相互運用性も提供します。

マイクロソフトのダイナミック言語ランタイムプロジェクトは、 MIX 2007でマイクロソフトによって発表されました。^{[ 2 ] [ 3 ]}

Microsoft は 2008 年 11 月に .NET DLR 0.9 ベータ版をリリースし^{[ 4 ]}、2008 年 12 月に正式版 0.9 をリリースしました。バージョン 1.0 は 2010 年 4 月にリリースされました。2010 年 7 月に、Microsoft は DLR のライセンスをMicrosoft Public LicenseからApache License 2.0に変更しました^{[ 5 ]}。同じく 2010 年 4 月に.NET 4がリリースされると、DLR は .NET Framework 自体に組み込まれました^{[ 6 ] 。}

GitHubでホストされているオープンソースの DLR プロジェクトには、言語実装者向けの追加機能がいくつかある。2010 年 7 月のリリース後、数年間はプロジェクトでの活動がほとんどなかった。IronRuby の開発に携わった Microsoft の開発者は、これを .NET Framework 上の動的言語に対する Microsoft のコミットメントの欠如と解釈した。 [ ^{7 ] [ 8 ]しかし}、2016/17 年以降は定期的な活動があり、多くの改善とアップグレードにつながっている。

2007年、マイクロソフトは当初、DLRを次期Visual Basic 2010（VB 10.0）およびManaged JScript（ECMAScript 3.0）に加え、PythonおよびRubyにも使用する予定でした。^{[ 2 ] [ 9 ] [ 10 ] [ 11 ] [ 12 ]}

DLR の Ruby と Python に関する研究は、 Ruby言語の .NET 実装であるIronRubyとIronPythonを生み出した。^{[ 2 ]}

2009年8月までに、マイクロソフトはDLRにマネージドJScriptを実装する計画はもうないことを発表した。^{[ 13 ]} その後、フレドリック・ホルムストロムは独自にDLR用のJavaScript実装を提供し、IronPythonやIronRubyの命名規則に倣って「IronJS」と名付けた。

C#と同様に、Visual Basic はIronPythonやIronRubyなどの DLR 上に構築された動的言語のオブジェクトにアクセスできます。^{[ 14 ] [ 15 ]}

Windows 8でリリースされたPowerShell 3.0 は、DLR を使用するように更新されました。^{[ 16 ]}

Schemeの実装であるIronScheme ^{[ 17 ]}は、DLR をベースに構築することを計画していました。このアイデアは、プロジェクトで使用されていたDLRブランチがトランクと同期しなくなったこと、および (プロジェクト コーディネーターによると) 当時の DLR の最新バージョンでは Scheme の要件の大部分をサポートできなかったことから放棄されました。^{[ 18 ]}

動的言語ランタイムは、多くの動的言語に共通する特定の機能に対応するノードを持つ汎用的な言語非依存の抽象構文木の上に言語固有の機能を実装できるという考えに基づいて構築されています。 ^{[ 19 ]}このアーキテクチャは、汎用スタックに実装する必要のある基本的な言語構成要素の数が本質的に制限されるべきであるという考えに支えられています。^{[ 20 ]} DLR は、これらのノードによって表現される機能に対応するコードを動的に生成します。DLR 上に実装される動的言語のコンパイラは、DLR 抽象木を生成し、それを DLR ライブラリに渡す必要があります。

DLR は、DynamicSiteメソッドをオブジェクトにバインドするタスクをキャッシュする動的に更新されるオブジェクトを提供します。動的言語では、オブジェクトの型や含まれるメンバーがプログラムの実行中に変化する可能性があるため、メソッド呼び出しはメソッド リストをチェックして、呼び出しが有効かどうかを確認する必要があります。DynamicSiteオブジェクトは、オブジェクトとそのメソッドの状態を表し、キャッシュします。オブジェクトへの更新は、オブジェクトにDynamicSiteも反映されます。DLR は、すべてのメソッド呼び出しをオブジェクト経由でルーティングし、オブジェクトはメソッドのDynamicSite高速ルックアップと実際の実装とのバインドを実行します。 ^{[ 21 ]}

Parrot仮想マシン（依存関係なし）やDa Vinci Machine（JavaのJVMに新しいバイトコードをJVM命令セットに追加して構築）などの他の取り組みとは対照的に、DLRは既存の共通言語ランタイム、つまり.NET Framework仮想マシンの上に構築されています。^{[ 22 ]}

• Da Vinci Machine – Sun Microsystemsで始まったプロジェクトで、Java仮想マシン（JVM）レベルでJavaプラットフォームに動的言語のサポートをもたらした。
• Parrot仮想マシン

• 動的言語ランタイムの概要
• GitHub上のdlr