Are there best practices and tools for using types in Python?

I’d like some of the “compile time”/ editor checks in Java, for example, but with more type inference. Maybe only important classes or functions.

    x = 1
    y = foo(bar(baz(x)))

If I declare baz() with types, I’d like my editor to warn me if x is the wrong type.