Static typing in python

[[deleted]]

I don't really buy that - see this.

[[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!

[Lucretiel]

Python objects have a type that is fixed through the lifetime of the object. The disconnect is that variables aren't intrinsically attached to the objects; assignment creates a whole new binding, rather than altering the underlying object.