That’s more a problem of moot and python than of static analysis itself. Python is a dynamic language and mypy is as an after thought not a sound static type c

That’s more a problem of moot and python than of static analysis itself. Python is a dynamic language and mypy is as an after thought not a sound static type checker. Better than nothing…would be way more risky not having it. However engineer must understand the shortcomings. I btw gladly switched from python to Kotlin. Makes it so much easier to trust the compiler. Less work for me