Вообще мне любопытно что это такое С++. То есть вот с одной стороны его делают умные люди, и вот книжка Степанов Elements of Programming содержит всякие леммы теоремы и оперирует алгебраическими структурами, как так произошло что теоркат и теория типов прошла мимо них. Типа это у них идеология такая не лезть в эти области, непонятно.