برنامج وظيفي بحت

تُعيد كل استراتيجية تقييم تنتهي ببرنامج وظيفي بحت نفس النتيجة. وعلى وجه الخصوص، يضمن ذلك عدم اضطرار المبرمج إلى مراعاة ترتيب تقييم البرامج، لأن التقييم الفوري يُعيد نفس نتيجة التقييم المؤجل . مع ذلك، قد لا ينتهي التقييم الفوري بينما يتوقف التقييم المؤجل لنفس البرنامج. ومن مزايا ذلك سهولة تنفيذ التقييم المؤجل؛ فبما أن جميع التعبيرات تُعيد نفس النتيجة في أي لحظة (بغض النظر عن حالة البرنامج)، يُمكن تأجيل تقييمها حسب الحاجة.

في لغة برمجة وظيفية بحتة، تقتصر التبعيات بين العمليات الحسابية على تبعيات البيانات، وتكون هذه العمليات حتمية. لذا، لبرمجة البرامج بالتوازي، يكفي أن يحدد المبرمج الأجزاء التي يجب حسابها بالتوازي، ويتولى وقت التشغيل جميع التفاصيل الأخرى، مثل توزيع المهام على المعالجات، وإدارة التزامن والاتصال، وجمع البيانات المهملة بالتوازي. يتجنب هذا النمط من البرمجة المشكلات الشائعة كحالات التزامن المتنافس والتعطل، ولكنه أقل تحكمًا من لغة البرمجة الإجرائية. ^{[ 5 ]}

لضمان تسريع الأداء، يجب اختيار مستوى تفصيل المهام بعناية بحيث لا يكون كبيرًا جدًا ولا صغيرًا جدًا. نظريًا، يُمكن استخدام تحليل الأداء أثناء التشغيل وتحليل وقت الترجمة لتقييم ما إذا كان إدخال التوازي سيُسرّع البرنامج، وبالتالي يُمكن موازاة البرامج الوظيفية البحتة تلقائيًا. عمليًا، لم يُحقق هذا نجاحًا كبيرًا، كما أن التوازي التلقائي الكامل غير عملي. ^{[ 5 ]}

تتميز هياكل البيانات الوظيفية البحتة بالاستمرارية . والاستمرارية ضرورية للبرمجة الوظيفية؛ فبدونها، قد تُعطي نفس العملية الحسابية نتائج مختلفة. قد تستخدم البرمجة الوظيفية هياكل بيانات غير وظيفية بحتة ذات استمرارية ، بينما لا يُسمح باستخدام هذه الهياكل في البرامج الوظيفية البحتة.

غالبًا ما تُمثَّل هياكل البيانات الوظيفية البحتة بطريقة مختلفة عن نظيراتها في اللغات الإجرائية . ^{[ 6 ]} على سبيل المثال، تُعدّ المصفوفة ذات الوصول والتحديث في وقت ثابت عنصرًا أساسيًا في معظم اللغات الإجرائية، وتعتمد العديد من هياكل البيانات الإجرائية، مثل جداول التجزئة والكومات الثنائية ، على المصفوفات. يمكن استبدال المصفوفات بالخرائط أو قوائم الوصول العشوائي ، مما يسمح بتنفيذ وظيفي بحت، ولكن وقت الوصول والتحديث يكون لوغاريتميًا . لذلك، يمكن استخدام هياكل البيانات الوظيفية البحتة في اللغات غير الوظيفية، ولكنها قد لا تكون الأداة الأكثر كفاءة المتاحة، خاصةً إذا لم تكن هناك حاجة إلى استمرارية البيانات.

بشكل عام، يتطلب تحويل البرنامج الإجرائي إلى برنامج وظيفي بحت أيضًا ضمان أن الهياكل القابلة للتغيير سابقًا يتم إرجاعها بشكل صريح من الوظائف التي تقوم بتحديثها، وهو هيكل برنامج يسمى أسلوب تمرير المخزن .