I agree with the points made about python, but most of the C++ complaints were addressed in C++11. These days, you get extremely powerful type checking with sane compiler errors.

One cool example is the JSON for modern C++. You can write stuff like this:

json j = ... // read json

my_struct s = j;

and the compiler will check (recursively) that there is a complete my_struct deserializer. At runtime, it presumably avoids virtual method invocations as a bonus.

I get that some people want a GC, but python feels lower level than C++ to me these days.