G'Camlおさらい

• generic binding (オーバーロード)

• • コンパイル時の型による分岐
  • 型レベルプログラミングを行う道具になる
  • G'Camlのライブラリでの使用例
  • • Garith ……intとfloat両用の四則演算子 (O'Camlに一番欲しい機能です)
    • Rec ……intのlistのlist...を展開して表示