English static type checking: перевод на другие языки