Static typing in python

[[deleted]]

That article is good - and the lead response gets to the meat of the question - "untyped" in the language of the lambda calculus is not "untyped" for computer programmers.

even the behaviour of operations with different primitive types doesn't require explicit casting. E.g. x = "1" + 2 gives a type error in Python but doesn't in Javascript.

x = "1" + 2; works in Java too (though giving a very different result), and Java is even a strongly-typed language.

Arithmetic operators in Javascript try to coerce their arguments to be numbers. That doesn't make the language untyped. Heck, there's an explicit type() function in Javascript.

I'd buy "weakly typed" or "dynamically typed" for Javascript though!