А что если ввести в ЯП (например КП, Оберон) функции с исключительно локальными переменными?
Т.е. внутри функции можно использовать только внутренние переменные и аргументы.
Мне кажется, что такие функции очень легко можно использовать в константных выражениях, и их же легко компилировать.

Для константных выражений становится доступна рекурсия, выполнением которой занимается компилятор.

При компиляции можно сразу предполагать их разворачивание (inline), и более глубокую оптимизицаю кода, в том числе сведение в константное выражение.
Правда, в таких функциях нужно применять модифицированный синтаксис: предложения (statement) IF/CASE должны всегда иметь альетнативную ветку и стать выражениями (expression).

Интересно какие "ямы"/минусы и "горы"/плюсы появятся.

Просьбарассматривать это предложения как техническое, а не философское. Некторые участники форума начнут объяснять что это не нужно. Пожалуйста не тратьте время и нервы.