VGn>>Но имхо функция совершенно не канает, как макро-сущность в нематематических задачах.

Г>О как. Это почему?
Г>Или я, видимо, не совсем верно понял что понимается под функцией.
...
Г>Структуры данных вообще ортогональны функциональной декомпозиции и прямого влияния на результат не оказывают. А непосредственно ФП подходит к проектированию не созданием универсальных структур данных, а созданием универсальных функций. И вместо того, чтобы делать расширяемые данные, делают расширяемые отображение данных в необходимую форму.

В общем-то, конечно, да, если плясать от IDEF. Но чем больше система, тем менее понятной становится её функциональная модель и сложнее выделять уровни абстракции.
В этом отношении ООП намного проще и удобнее.
Хотя знавал я одного айтишника в возрасте, который ооп/а так и не понял и держался зубами за IDEF. Правда всё это служило оправданием макаронному структурному подходу.