I want to say that the C++ type system is not really weak — it can enforce basically anything, since templates are Turing complete. But most of those possible t

I want to say that the C++ type system is not really weak — it can enforce basically anything, since templates are Turing complete. But most of those possible types are horrifically unergonomic.