'And yet, statically typed languages can still be checked for a lot more things.' What is your evidence? Can you provide a citation? Modern tools can statica

'And yet, statically typed languages can still be checked for a lot more things.' What is your evidence? Can you provide a citation? Modern tools can statically check python for a lot of things. Here are some things you can statically check with python: * implements an interface * unused names * assigned but never used There's hundreds more things you can check for with tools like pylint and some of the IDEs. That 'implements an interface' one is important. Since with interfaces you can specify things like return types, and type arguments. There are also @param markers in doc strings, where you can specify argument and return types. These can be used by tools like IDEs (eg pycharm) and other static checkers. Full program type inference is now doable for large parts of python. See the shedskin, and Rpython restricted subsets for two implementations.