برمجة وظيفية

اللغات الوظيفية

من جهة ثانية، أشهر هذه اللغات وأقدمها هي ليسب و منها كذلك هاسكل وسكيم (لغة برمجة) وML ولغات أخرى كثيرة ومتعددة

من جانب آخر، بالرغم من أفضلية اللغات الوظيفية البحتة على تلك المستعملة كلغات أوامر إلا أن ضعف تنفيذها على الحاسبات المبنية على نموذج فون نيومان (von Neumann) حد من استخدامها وانتشارها.

اقرأ كذلك

في هذا الإطار، في اللغات الوظيفية البحتة لا يوجد أي استخدام للمتغيرات أو جمل المساواة مما يعطي حرية أكبر للمبرمج بحيث لايهتم للأماكن المحجوزة لبرنامجه في الذاكرة.كذلك يتم التحكم في مسار تنفيذ البرنامج باستخدام الدوال الرياضية والجمل الشرطية والاستدعاء الذاتي بدلاً من تنفيذه بطريقة متسلسلة وباستخدام التكرار (iterative repetition) كما هو الحال مع لغات الأوامر.

كذلك، ميزة أخرى مهمة في هذه اللغات وهي أنها تُعطي نفس النتيجة إذا أُعطيت نفس المتغيرات، هذه الخاصية هي ما تُطلق عليها الشفافية المرجعية (referential transparency).بالرغم من أن تنفيذ اللغات الوظيفية يتم بواسطة المفسرات (ترجمة فورية) إلا أنه يمكن عمل (compilation) لها.كذلك تحوي هذه اللغات تركيب هيكلي بسيط جدًا.الدوال المعقدة يتم بنائها باستخدام مايُطلق عليه نماذج وظيفية (functional forms) أي أن الدوال تستعمل كمتغيرات مرسلة أو قيم مرتجعة أو كلاهما.

مخطط كتلة التدفق الوظيفي