>>412
＞FP言語がどうしても見つからない。
＞さっき見つかった気がするんだけど、その記憶の限りでは
＞関数呼び出しのcall-by-valueを統べて代入に置き換えてただけのような。
＞そうすると計算の仕方は同じになるけど、関数型言語の全ての部分式が
＞値を持つっていう性質は失われるし、関数型言語をコンパイルするときには
＞おなじことを行うわけだから、何にも新しいことを言ってないような。

何か、違うものを見ておられるようですね。
御参考: http://www.yfcbookshelf.com/ml_lisp_scheme.htm
　　　　http://ca.meme.hokudai.ac.jp/people/tak/fp/fp-eval.html