読んだ2

同blogより、http://cpp-next.com/archive/2009/08/three-kinds-of-concepts/も読んでみた。
Conceptは不幸にも合意が得られずにC++0xには含まれないことが決定したけど、一度でもジェネリックプログラミングを学んだことがある人なら型への制約という概念としては理解しているはず。しかし、それを言語で表せるようになるとどうなるのか、っていうことは考えたことがある人はほとんど居ないわけで、そこを解説するシリーズとして続くっぽい。