Ｌｉｓｐｅｒに、質問攻めしたかったんだけど、

もう、それはいいや

その段階は超えた

関数型言語って、わずかにズレてんだよなぁ････

クラスなんてものを使わず、関数でかいていくのはいいんだけど、
それだけじゃダメで
根底に1つ、クラスが必要であって

そのクラスオブジェクトにlambdaやメンバ変数やメンバ関数を、 オブジェクトインスタンスごとに付け加えていく感じ
それによって、型 ＝ データとなって、
プログラム中に同じ型が存在しなくなるみたいな、そういうやつ

関数型言語は、まだそれを夢想している段階の言語で、決定的なものが抜けているからオブジェクト指向言語にすら勝てない
2011年の今現在、関数型言語で関数型プログラミングするよりも
オブジェクト指向言語にて関数型プログラミングしたほうが圧倒的に優位