Какими инструментами ты пользуешься для статической проверки типов в коде?