>>52

背景となる理論があるというのは関数型言語のセールスポイントの一つだと思っ
てます。ラムダ計算はScheme, ML, Haskellなどの非常に単純化された模型(モ
デル) なのです。そういう模型があると:

* 模型の中でプログラムがどう動くかを(リダクションとかで)手で確かめることができる
* 模型の中でプログラムに関して推論できる(2つのプログラムが等しいとか)
* 言語を拡張したら何が起こるかを、模型を使って確かめることができる
* 模型の定義は厳密で、また実際の言語の仕様よりもはるかに小さいので
だれでも同一の模型を共有できる

と、いろいろうれしいことがあるわけです。
物理理論には数学的モデルが存在するように(電磁気学にはMaxwellの方程式、とか)、
プログラミング言語にもあったっていいじゃないですか。
でもそういうのを想定せずに作られた言語の方が多い...