پاسخ من به سوال شما منفی بوده است. این مطلب را با بولد کردن بعضی از واژه ها در توضیحات قبل نشان داده بودم.
ضمنا در سبک برنامه نویسی functional سعی بر آن است که به جای انعکاس دادن روش فکری افراد تحت ماشین، روش فکر ی آنها به صورت ریاضی (mathematical) بیان شود. به عنوان مثال وقتی در این سبک برنامه نویسی نوشته می شود:
x = f(y)
در اینجا منظور این است که برابری x و f(y)صحیح است. در واقع هدف این است که اثبات کنیم که x=f(y). در واقع اینجا بر خلاف زبان های نویسی دستوری، صحبتی از سلول حافظه و یا اینکه بعدا متغیر x چگونه تغییر میکند، نمی شود.