i work on pytype [https://github.com/google/pytype https://github.com/google/pytype], a similar project for python, and it has definitely made business sense. i

i work on pytype [https://github.com/google/pytype https://github.com/google/pytype], a similar project for python, and it has definitely made business sense. it lets developers code in the language they find most productive (largely due to its dynamic nature), and adds back some of the benefits of static type checking. in particular, it has caught a lot of bugs that would otherwise only have shown up in production, and perhaps not until some rare code path was hit.