آلة التجريد الفئوية

الآلة المجردة الفئوية ( CAM ) هي نموذج حسابي للبرامج ^{[ 1 ]} يحافظ على قدرات الأسلوب التطبيقي أو الوظيفي أو التركيبي. وهي تستند إلى تقنيات الحوسبة التطبيقية .

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

يُعدّ OCaml التطبيق الرئيسي الحالي، والذي أضاف وراثة الأصناف وإرسال الأساليب الديناميكي إلى Caml، وهي لغة الآلة المجردة الفئوية. وكلاهما من متغيرات لغة MetaLanguage ML ، وتُطبّق اللغات الثلاث جميعها استنتاج الأنواع .

إحدى طرق تطبيق اللغات الوظيفية هي الآلية القائمة على المُركِّبات الفائقة ، أو ما يُعرف بآلة SK، التي وضعها د. تيرنر. ويُقدِّم مفهوم CAM نهجًا بديلًا. يتألف هيكل CAM من مكونات نحوية ودلالية وحسابية. يعتمد النحو على تدوين دي بروين ، الذي يتغلب على صعوبات استخدام المتغيرات المُقيَّدة. أما عمليات التقييم فهي مشابهة لتلك الخاصة بآلة SECD التي وضعها ب. لاندين . وبهذا الشمول، تُوفِّر CAM أساسًا متينًا للنحو والدلالات ونظرية الحوسبة . وينشأ هذا الفهم نتيجة لتأثره بالأسلوب الوظيفي للبرمجة.

• وولفينغاجن، في. إي. المنطق التوافقي في البرمجة : العمليات الحسابية باستخدام الكائنات من خلال الأمثلة والتمارين . الطبعة الثانية. موسكو: "مركز جور إنفو" المحدودة، 2003. 337 صفحة. ISBN 5-89158-101-9.