هل البرمجة التفاعلية و pi-calculus لديها أشياء مشتركة؟

https://stackoverflow.com/questions/3435235

26-09-2019
|

سؤال

يفعل البرمجة التفاعلية و Pi-Calculus هل لديك أشياء مشتركة؟

المحلول

باختصار ، نعم. من الناحية الفنية ، يمكن لـ PI-Calculus أن تشفر شيئًا مثل البرمجة التفاعلية ذات الترتيب العالي (حيث يمكنك إنشاء القنوات والتمرير حولها كقيم من الدرجة الأولى).

على مستوى سطحي ، يحاول كلاهما وصف نظام من حيث الأحداث ، بدلاً من الدول. هذا تمييز مهم يؤدي إلى مجال "الأنظمة القائمة على الأحداث". يعد Pi-Calculus عامًا عامًا للغاية ، ومن المحتمل جدًا أن يكون لأي شيء يمكنك إنشاءه في إعداد البرمجة التفاعلية ترميزًا طبيعيًا بشكل معقول كمصطلحات Pi-Calculus.

مرخصة بموجب: CC-BY-SA مع الإسناد

لا تنتمي إلى StackOverflow