MDL（プログラミング言語）

MDL（モデル開発言語[ ^{1] 、または口語的には}More Datatypes than Lisp ^{[2] :3}、MIT設計言語^[要出典]とも呼ばれる）はプログラミング言語であり、 Lisp言語の後継である。当初の目的は、マサチューセッツ工科大学（MIT）のプロジェクトMACの動的モデリンググループに高水準言語サポートを提供することであった。^{[3] 1971年に}ITSを実行するPDP-10上で開発され、後にTENEX、TOPS-20、^{[4] [5]} BSD、^{[2] :6}、AEGIS上で実行された。^[6]

初期の開発チームは、人工知能研究所のGerald SussmanとCarl Hewitt 、および動的モデリング グループの Chris Reeve、 Bruce Daniels、David Cressey で構成されていました。その後、同じく動的モデリング グループの Stu Galley が MDL ドキュメントを作成しました。^{[引用が必要]}

MDLは当初、 Muddleと呼ばれていました。^{[4] : 2}このスタイルの自虐的なユーモアは、Project MAC以外では広く理解されず、高く評価されませんでした。そのため、名前はMDLに変更されました。^[要出典]

MDL は、従来の Lisp にいくつかの拡張機能を提供します。リスト、文字列、配列、およびユーザー定義のデータ型を含むいくつかの組み込みデータ型をサポートします。マルチスレッド式評価とコルーチンを提供します。変数は、スコープ内のローカル値と、スコープ間でデータを渡すためのグローバル値の両方を保持できます。高度な組み込み関数は、MDL プログラムの対話型デバッグ、増分開発、およびオブジェクト プログラムからのソース プログラムの再構築をサポートします。

MDL は時代遅れですが、その機能の一部は Lisp のそれ以降のバージョンに組み込まれています。Gerald Sussman は、後にCommon LispとJavaの仕様を書いたGuy Steeleと共同でScheme言語を開発しました。Carl Hewitt は MDL プロジェクトが始まる前にすでにPlanner言語のアイデアを発表していましたが、その後の Planner に関する彼の考えには MDL の構築から学んだ教訓が反映されていました。Planner の概念はPrologやSmalltalkなどの言語に影響を与えました。Smalltalk とSimula は、Hewitt の将来のアクター モデルに関する研究に影響を与えました。

しかし、MDLが与えた最も大きな影響は、インタラクティブフィクション（IF）というソフトウェアのジャンルでした。Zork（ダンジョンとも呼ばれる）というIFゲームは、最初にMDLで書かれました。^[7]その後、リーブ、ダニエルズ、ギャリーとダイナミックモデリングの他のメンバーは、インタラクティブフィクションの初期の商業作品を多数制作した会社、Infocomを設立しました。

1980 年に、Marc Blankと Joel Berez は MDL 言語を採用して ZIL ( Zork 実装言語)と呼ばれるサブセットを作成しました。これはInfocomが受賞歴のあるゲームを作成するために広く使用されました。

これはPDP-10 MDLのサンプルです: ^{[8] [9] [10]}

<DEFINE EXIT-TO ( EXITS RMS ) # DECL (( EXITS ) EXIT ( RMS ) <UVECTOR [ REST ROOM ] > ) <MAPF <> <FUNCTION ( E ) # DECL (( E ) <OR DIRECTION ROOM CEXIT NEXIT DOOR> ) <COND ( <TYPE? .E DIRECTION> ) ( <AND <TYPE? .E ROOM> <MEMQ .E .RMS>> <MAPLEAVE T> ) ( <AND <TYPE? .E CEXIT> <MEMQ <2 .E> .RMS>> <MAPLEAVE T> ) ( <AND <TYPE? .E DOOR> <OR <MEMQ <DROOM1 .E> .RMS> <MEMQ <DROOM2 .E> .RMS>>> <MAPLEAVE T> ) >> .EXITS>>   
              
         
               
                        
                    
                             
                         
                              
                         
                          
                                 
                                    
                         
              

• Zork実装言語
• ゾーク
• Scheme（プログラミング言語）
• プランナー（プログラミング言語）