[bottlepalm]

AI has become my type checker in a way. I'm writing large Python apps now, and not even installing the Python IDE tools into VS Code. The AI assistants generate and refactor my code understanding the types and making it work. Same with JavaScript as well. AI modifies the code, I run/test it. Almost never any bugs related to typing inconsistencies.

I'm not saying we (humans) don't need type checkers and I love TypeScript, but something is happening where AI might theoretically surpass the power of traditional type checking. Have the power to catch even more invalid code than the static analysis tools, linting tools, etc.. we have now.