أنظمة الحوسبة التطبيقية

أنظمة الحوسبة التطبيقية ( ACS) هي أنظمة حسابية للكائنات مبنية على المنطق التوافقي وحساب لامدا . ^{[ 1 ]} المفهوم الأساسي الوحيد الذي يُؤخذ في الاعتبار في هذه الأنظمة هو تمثيل الكائن . في المنطق التوافقي، العامل الفوقي الوحيد هو التطبيق بمعنى تطبيق كائن على آخر. أما في حساب لامدا، فيُستخدم عاملان فوقيان: التطبيق - وهو نفسه في المنطق التوافقي - والتجريد الوظيفي الذي يربط المتغير الوحيد في كائن واحد.

الكائنات التي يتم إنشاؤها في هذه الأنظمة هي كيانات وظيفية ذات خصائص محددة:

1. عدد خانات الوسائط، أو عدد معاملات الكائن، ليس ثابتًا ولكنه يُمكّن خطوة بخطوة من التفاعل مع الكائنات الأخرى؛
2. في عملية توليد الكائن المركب، يتم تطبيق أحد نظائره - الدالة - على الآخر - الوسيط - ولكن في سياقات أخرى يمكن أن تغير أدوارها، أي يتم اعتبار الدوال والوسائط على قدم المساواة؛
3. يُسمح بتطبيق الدوال على نفسها، أي يمكن تطبيق أي كائن على نفسه.

توفر ACS أساسًا متينًا للنهج التطبيقي في البرمجة.

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

• لغة البرمجة التطبيقية
• آلة التجريد الفئوية
• المنطق التوافقي
• البرمجة الوظيفية
• حساب التفاضل والتكامل لامدا

• هيندلي، ج. روجر ؛ سيلدين، جوناثان ب. ، محرران (سبتمبر 1980)، إلى إتش بي كاري: مقالات في المنطق التوافقي، وحساب لامدا، والشكلية ، بوسطن، ماساتشوستس: أكاديميك برس ، ISBN 978-0-12-349050-6[يعكس هذا المجلد برنامج البحث وفلسفة إتش كاري ، أحد مؤسسي النماذج الحسابية والإطار الاستنتاجي للاستدلال من حيث الأشياء.]

• وولفينغاجن، في إي (2003). المنطق التوافقي في البرمجة. العمليات الحسابية باستخدام الكائنات من خلال الأمثلة والتمارين (  الطبعة الثانية). JurInfoR. CiteSeerX 10.1.1.62.4421 . ISBN  9785891581265. OCLC 491339472 .