Comment by tikhonj

Except that you have to statically specify the types using decorators. So it's more like a subset of static typing in a dynamically typed language.