[lmm]

If C++ was the only static type system I'd experienced, I would also think it was a bad idea. Have you ever used an ML-family language?

[Pay08]

Nope. Closest thing I have used was probably Haskell.

[lmm]

Haskell ought to be good enough. Did you struggle with making your containers there?

[Pay08]

Interestingly enough, I have never needed them there. Granted, I have written a few orders of magnitude less Haskell than I have C++. Still, the difference is worth interrogating (when I'm less sleep deprived).