Функциональное программирование базируется на математических подходах. Оно было не "придумано инженерно", а открыто -- как любые другие математические открытия.

Но что насчёт императивщины и ООП? Лука Карделли например разработал сигма-исчисление для объектной модели (хотя само ООП никакой математической базы не имеет, конечно), а затем появилась более сильная модель "NOOP: A Domain-Theoretic Model of Nominally-Typed OOP".

Ну а этот ваш построчный пошаговый кодинг можно основать вообще на любом Тьюринг-формализме. От алгоритмов Маркова и комбинаторной логики (Смаллиана книжки очень рекомендую) до, конечно, лямбда-исчисления, и т.п.

Потому что на самом деле всё это -- про переписывание термов.

Уже совсем скоро AI придёт на рабочие места кодовых обезьянок, поверхностно зазубривших технический стек "чтобы поскорее начать зоробатывать".

Computer Science ценна сегодня как никогда раньше.