だから関数型言語って何さ！！！

[id:lethevert:20060105:p3]
では、「手続きの抽象化」ができるのが関数型言語だという結論を出したのですが、Javaでも十分に手続きの抽象化をすることはできたわけで、じゃあ何なんだ！という疑問が復活したのですが・・・

関数型言語

ラムダ計算を先祖に仰ぐ言語

ということぐらいしか思いつかん。
ラムダ計算の子孫とかって言うと、Smalltalkまで系譜に入りそうなので、「仰ぐ」という表現にしてみました。
あと、「Lispを先祖に仰ぐ」というのは、違うかなと。ISWIMはたぶんLispの子孫ではないと思うので。