あ、FPってコンビネータ論理です。
　関連スレ：http://mentai.2ch.net/test/read.cgi/infosys/1017686362/l50

>>423
＞あと一般にいう関数型言語に型付きは関係ないです。
＞フォートランを関数型言語とみなした場合に関数型言語でない命令型
＞言語は何が残るの？

関数型言語の理論だけならともかく、
関数型言語自体を、小さな枠に収めて盆栽みたいに育てた場合、
どんなメリットがあるとお考えですか？