OCamlはtype classがないということは、 [1,2,3] == [1,2,3]のようなリストを比較するような関数を書く場合には、リストの要素の型毎に用意するか、要素の比較用の関数を明示的に渡してやらないといけないのかな？

[id:squeaker:20061013:p2] ちょっと面白いなと思ったので、メモ