ما هو Lambda حساب التفاضل والتكامل؟

تم تطوير lambda calculus لأول مرة بواسطة عالم الرياضيات الأمريكي Alonzo Church في ثلاثينيات القرن العشرين ، وهو نظام رسمي للتعبير عن الحساب استنادًا إلى تجريد الوظائف. إنه مبدأ أساسي في المنطق الرياضي. بشكل أكثر وضوحًا ، يهدف حساب التفاضل والتكامل lambda إلى أن يكون نظامًا بسيطًا للحساب يعد بديلاً عن نهج "الأجهزة" الذي تستخدمه آلات Turing.

كيف يتم استخدام حساب التفاضل والتكامل لامدا؟

في برمجة الكمبيوتر ، يتم استخدام حساب التفاضل والتكامل lambda لإخفاء هوية الوظائف ، مما يسمح للإشارة إليها بالمعنى المجرد. هذا الإجراء يجعلها كائنات من الدرجة الأولى: يمكن تشغيلها مثل أي كيان آخر في اللغة. على سبيل المثال ، يمكن تمرير وظيفة مجهولة المصدر إلى وظائف أخرى كمعلمة.

كانت LISP واحدة من لغات البرمجة الأولى التي تستخدم وظائف مجهولة. تُعرّف الكلمة الخاصة lambda في LISP دالة دون تسمية اسم. على سبيل المثال ، يمكن تعريف الدالة x + 2 بشكل مجهول في LISP بالعبارة التالية:

 (لامدا (x) (+ × 2)) 

تعد الوظائف المجهولة جزءًا مهمًا من العديد من لغات البرمجة الحديثة ، بما في ذلك JavaScript.

فرسان Lambda حساب التفاضل والتكامل ، والمنطق ، وشروط البرمجة والسكر النحوي