Loading article…
MLISPは、ジョン・マッカーシーによるLispの原文における関数構文であるM式に基づいたAlgolのような構文を持つLispの派生言語です。マッカーシーのM式は、正確な形で実装されたことはありません。[ 1 ]
MLISPは最初にHorace EneaによってIBM 360向けに実装され、その後David Canfield SmithによってPDP 10向けに再実装されました。この2番目の実装では、引数を評価しない特殊なラムダ式（「FEXPR 」）もサポートされていました。Lisp -1やScheme と同様に、変数と関数には単一の名前空間がありました。[ 2 ]
MLISPはLispの代替となる、より読みやすい構文を備えたプリプロセッサに過ぎなかったが、後継のMLISP 2は新しい概念を導入した。[ 3 ]
MLISP2は、著者らによって過渡期の言語と呼ばれた。ラリー・テスラーはパターンマッチングシステムを改良し、LISP70と呼ばれる後継言語を実装したが、これは暫定版までしか完成しなかった。このLISPの進化の道筋は広く無視されているが、後にMLやSchemeに見られるいくつかの特徴に似ている。[ 5 ]
Robert Muller によるM-LISP (MetaLISP) は、1989～1992 年に開発された無関係の言語です。これは「 M 式LISP とSchemeのハイブリッド」でした。[ 6 ] [ 7 ]
中置記法を用いたLispやLispライクな言語、あるいはLispから派生した言語は数多く実装されてきました。注目すべき例としては、以下のようなものがあります。