اقتباسما فهمت الكود الموجود بالصورة
ليس كود و إنما هو تعريف رياضي يُعبر عن أحد المفاهيم الموجودة في λ-calcul
اقتباسهل هو للـ Ocaml ؟
لا, هو خاص بــ Lambda Calculus :)
للعلم, Lambda Calculus تملك نفس القدرات التعبيرية الموجودة في Turing Machine لذا تجد أنها تُمثل الأساس الذي بُنيت عليه لغة Caml قبل ولادة OCaml بسنوات ..
لتقريب الفكرة, علاقة SQL Queries بــ Relational Algebra هي نفسها علاقة OCaml بــ Lambda Calculus من ناحية تشكيل الأساس.
C++ and Java, say, are presumably growing faster than plain C, but I bet C will still be around. ― Dennis Ritchie
~OoO~________--------------------------------------------________~OoO~
من مواضيعي :


