>>420
javaのインターフェースはポリモーフィズムを実現するものじゃないの？
ポリモーフィズムは高階関数と密接に関係してると思いますが。

410のいってる関数言語は一般に関数型言語と呼ばれるものではない気がします。
フォートランを関数型言語っていう人はいないと思うし。
関数型言語は研究のプロトタイプではなくて、それ自体で実用性を
求めてるし。
関数型を全て代入式に置き変えたら関数型の意味がない。
あと一般にいう関数型言語に型付きは関係ないです。
フォートランを関数型言語とみなした場合に関数型言語でない命令型
言語は何が残るの？