Scala strict type system vs C++ type system

For fans of Scala's strict type system, but fans of C++:

• Is it possible to force yourself to program C++ with the same strictness? (not using void*, not casting a lot, boxing simple value type ie struct Month {int value;}; ).
• Or is C++ by default even stricter then Scala (if you do not try hard with casts)? Despite the "duck typing" of C++ templates -- it still won't let you compile if it doesn't fit, right?
• Does C++0x (wrt to C++03) add something for someone who is willing to submit oneself to totally typesafe programming?

Short answer: yes, you can reach the same level of type safety, but it will place a burden on the programmer. It's not simply a question of providing the same safety, the type system must also be powerful and flexible enough to facilitate typesafe programming and in this regard Scalas type system is superior to C++.

C++0x will add lambda expressions which will facilitate using HOF's like map, filter, flatMap etc.