正直プログラミング言語の本質とか言い出したら、
Lispは学習の対象外でしょ。カリー化、遅延評価、型推論などがあるHaskellの方がいい。
それかOzか。Ozは特殊なのであれかなあ。あの本と一緒なら…