Если не ошибаюсь, Тимур говорил что вы и так можете не полагаться на автоматическое привидение типов, соблюдать контракты, настроить линтер и писать на как бы строгом динамически типизированной языке, соблюдать гомогенность данных, и в результатах ваш кот будет оптимизирован движком основываясь на автоматически выведенных типах.