Type hinting is not exactly there yet, but its coming. You can already write:

def foo(x:int) -> int: return x+1

to get hints in your IDE (though its not enforced yet by interpreter).