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?

Nope. Closest thing I have used was probably Haskell.

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

	▲	Pay08 3 hours ago \| parent [-]
		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).