型(class/struct), interface, concept, template オブジェクトに対する型、型に対するコンセプト インターフェースはオブジェクトを別の型の値に遅延束縛するための仕組み？ Haskellの型システムいいよね 仮想関数はHaskellではどう表現しているのだろう？ …

ただしどこに行くのかは未定。どっかいいところを絶賛募集中。

とりあえずビルド終了。帰ってきてから触ってみる。