■

そういえば，ある汎用アルゴリズム (関数テンプレート) の実装が与えられたときに，その汎用アルゴリズムの requirement 項に関する推論機構が欲しいと誰かが (俺かぁ！) ほざいてた気がするけれど， requirement に記述した制約 (インタフェイス) のみを使って汎用アルゴリズムが記述されているかを point of definition で検査するという concept の側面 (archetype test) も重要で (みんな point of instantiation における間違った使い方でエラーがでれでれーって出てくるのをなんとかしてくれ！っていう側面ばかりに気を取られていることが多いけれど)， requirement を推論するとこの検査機構が形無しになるよなーとか思いつつえーと……なんだっけ？忘れた．