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

あとなぜFP言語のきっかけとなっただけで、フォートランを関数型と
言えるのかがかなり疑問。FORTRANが関数型なんて解釈は聞いたことない。
schemeとかMLですらラムダ計算でモデリングできないのになぜフォートランで
できるやら。