There is the mypy static type checker that works very well with Python. It works with the typing module that allows unions of types, and other methods. Using the --disallow-untyped-defs command line argument provides more checking. A function prototype could look like the following where the str and int are the types.

def strlen(check_str:str) -> int: