Koukal jste na mypy: http://mypy-lang.org/? Sám to ještě moc nepoužívám, protože jsem prase, které nechává funkce reagovat různě na ruzné typy vstupů (isinstance), prej je to jedna z fičur C# takzvané přetěžování.. nečeho, ale Guido si to chválí a je to integrované od Pythonu 3.6 vejš (ještě teplé).