Hello,
For those unfamiliar, static type checking in Python is a process that analyses your code without executing it, highlighting any potential errors such as type mismatches. An example of this is MyPy (https://github.com/python/mypy), this tool allows developers to easily address issues before runtime - which is a personal gripe of Python (and why I love Alteryx so much).
I believe that integrating static type checking, such as MyPy, into Alteryx Designer could vastly improve the users experience. A user of Alteryx Designer expects intuitive feedback - generally through the error red exclamation marks or messages, and this change should align the Python tool to the expected functionality.