C++ doesn't have GC, reflection, annotations, code generation utilities (annotation processors, cglib, etc), first-class generic types, existential types, rich

C++ doesn't have GC, reflection, annotations, code generation utilities (annotation processors, cglib, etc), first-class generic types, existential types, rich standard library etc. That's why it is "arguable". > you can express to the interpreter very little about types Dynamic types are still types. Only the error detection moment is different, but lack of static types doesn't mean low expressivity.