Oof, that’s quite a take. Static type checkers by definition don’t change the language’s functionality; they merely check the types.