Еще одна статья из The Artima C++ Source: Built-in Type Safety? (автор тот же, что и у этой

Автор: eao197
Дата: 12.10.06

).

C++ is statically typed. Programmers inform their compiler about the types they are using. In return the compiler warns them of any type abuse it detects. Static typing doesn't cure all known defects, of course. On occasion, a defect which appears type-related can slip through the type system undetected. This article tells the true story of two such defects. It discusses how they might have been avoided and concludes with some more general advice.

В статье автор рассматривает два реальных бага, которые он нашел и исправил, и которые не появились бы, если бы при разработке уделялось внимание... как бы это сказать... потенциальной возможности ошибиться с типами аргументов.

Warning: статья на английском.
Disclaimer: мне понравилось, хотя некоторые описанные в вещи отнюдь не новые.