I don’t understand this question at all. Types are there to prevent human programmers from making a certain class of mistakes. But is the same true for AI. Because if not, static types are just needless cruft.
If you're statically typed you can remove the actual check from the binary. They are therefore also a performance thing.