>>451
>>Cの関数へのポインタとMLの高階関数の違いをすぱっと言い切るには
>>どうすればいいんでしょうか? 人に説明するとき悩んでます。
>僕は同じと言い切ってしまいたい。
>型とかそういうのを置いておけば、実装はあまり変わらないははず。
亀レススマソ。MLではfun f x = fn y -> x + yみたく、
「実行時に関数を作って返す」ことができる（ように見える）のに対して、
（普通の）Ｃではできない。そのために、MLやSchemeのような関数型言語では
「関数クロージャ」というデータ構造を導入して、実際には実行時コード生成なんか
せずに高階関数を実装する手法が主流。なので、別に型がなくても、実装はやや高度になる。