Потому что для оптимизаций надо будет с абстракциями аккуратно обходиться и спускаться на уровни ниже, а там уже всё процедурное
так нужен язык, который _позволяет_ спускаться на уровень ниже _при_ необходимости, а не тот, который тебя постоянно заставляет сидеть на дне