[anamax]

The big difference is that Python doesn't allow very much static analysis.

Consider the expression "a.b.c". Where are the function calls? In other words, which of the ".{name}" return a value from some namespace and which call code? (I'm not asking about which functions are called. I'm just asking about where functions are called.)

Java semantics, including the type system and the required declarations, tell you where the function calls are. One consequence is that they're always in the same place.

That's simply not possible in Python because the answer isn't known until the expression is evaluated AND the answer can change every time the expression is evaluated.

[needusername]

Where is the connection to locking and the GIL?