limitations 〜或いは私の見当違い

• 分岐の間に優先順位がない

• • C++やDのtemplateであれば、特殊化したもの→一般的なもの、という優先順位があるためis_same_typeも簡単に書ける
  • G'Camlでは、選択肢を絞りきれない場合はgenericのままで型推論が続けられることがここでは仇になっている
  • • 'aや'bではなくintや'a listや('a * 'b)のような既知の型であればis_same_typeも書ける