ありがとうございます。
書き込んだときにはレスつかないかと思っていたので、感激しました。

MLで言語を作るとCなんかに比べるとかなりすっきり書けそうですね。
>While (Const 1, Print (Const 0))
とりあえず、こういうのを人間が直に書いて動くものをつくろうかと思います。

書き足りなかった事を書き足しますと、
作らなくてはならないものはAI関係のもので、
LISPの上に言語を構築したりするのがありがちと思われるものです。
（あまり詳しく何をするかは書き込んではいけないのでご容赦ください）

LISPには堪能ではないので聞いたままでうまく書けませんが、
LISPだと出来上がった言語は基本的にS式で記述し、それをevalなどを
使って動かすんだそうです。
新たに言語をつくるというより、言語の上に言語を乗せるほうが簡単
というような感じです。
でもMLではevalみたいなことや、マクロが無いのでLISPでやっている
ことをそのまま持ってくるのは無理かなと。