I was specifically referring to boilerplate and type level programming: Algebraic Data Types's, and type generation in general. C++'s type system is actually

I was specifically referring to boilerplate and type level programming: Algebraic Data Types's, and type generation in general. C++'s type system is actually pretty strong, but the amount of boilerplate that is needed to create a new type means that it is very difficult to program in a type safe way... without being incredibly verbose. Creating a type safe "Length" type is too much of a pain in the ass for anyone to actually do it. Which is what I mean by "too verbose". It is so verbose that instead of securing the "specific and obvious" in strong compiler guarantees, we fake it with implicit conversions and typedefs.