Bocs, nem teljesen a kérdésedre fogok válaszolni de hátha érdekes.
A funkcionális nyelveknek nagyon erős matematikai alapjai vannak. Ezeknek a nyelveknek elméleti modellje a lambda kalkulus amit az 1930-as években fejlesztettek ki matematikusok. Ezzel elmondható hogy mi az hogy számítás és egy nagyságrenddel egyszerűbb mint a Turing-gép.
A matematika tulajdonképpen a dolgok formális leírásának a nyelve. Kérdés, hogy megeszi-e a számítógép. A funkcionális programozók hisznek ebben és ezt az álmot igyekszenek megvalósítani egyfajtaképpen.
OO programozással is leírhatod a dolgokat tömören, érezni fogod hogy mit jelent, de sosem fogod tudni pontosan mit jelent amit írtál.
(Ez persze egy végletesen leegyszerűsített szubjektív megfogalmazás. :)