id:Cryolite:20040426で書いたことって，「concept」を「インターフェイス定義の集合」と読み替えれば，普通に当たり前のことを書いていただけの希ガス・・・．インターフェイスが重要なのはOOPで散々言われていることじゃないですか．特にconceptを構成する要素のうちvalid expressionの定義って（C++の）OOPの言葉で言うところの純粋仮想関数の宣言に相当するものに思えるし．関連型（やtraits）はOOPの文脈では対応するものが見当たらないかな？うみゅう，知識不足・・・．
