ну вот и посмотрим лет через 10
что выиграет: компилятор, который понимает, что вы пишите, может строить на основе это оптимизация и всё валидировать
или статический анализ, который может только валидировать и прямой и тупой компилятор, которому вообще похуй на всех