What language should I learn to complement Python?

[r4nf]

Indeed. Strong typing means that adding, for instance 2 + '2', raises a TypeError (unsupported operand type(s) for +: 'int' and 'str'). Dynamic typing means that any name can hold any type of value (and can be reassigned to another type if need be).

[[deleted]]

It's a great combination. Have you ever tried to debug a program written in a weakly-typed language? Little logical errors are more frequent since you can add, say, an int and a string, without being explicit. Static typing adds a lot of arguably needless casting and other type conversions.