limitations 〜或いは私の見当違い

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

• • ということはwhen othersな分岐ができない (分岐に使う型は既知の必要がある)
  • ということはLokiのTLにあるEraseやReplaceやその他諸々が作れない
  • ということはこの演目がC++の後ろに来ている意義は……
  • お願いでございます命だけは命だけはお助けくだされ

• 上から使われるという情報も？ http://arbre.is.s.u-tokyo.ac.jp/~kinaba/seminars/gcaml/1.pdf 型の解決に必要な情報がそろわない時は、generic 定義のうち最初に指定され た型パターンが利用される。ただし、次の例のように、let による束縛などで は generic 性は伝搬される。