استمرارية (معلوماتية)

في علم الحاسوب ، تعد الاستمرارية تمثيلاً تجريديًا لحالة التحكم في برنامج حاسوب .[1] الاستمرار يطبق ( يعيد reifies) حالة التحكم في البرنامج ، أي أن الاستمرارية هي بنية بيانات تمثل العملية الحسابية عند نقطة معينة في تنفيذ العملية؛ يمكن الوصول إلى بنية البيانات التي تم إنشاؤها بواسطة لغة البرمجة، بدلاً من إخفاءها في بيئة وقت التشغيل. تفيد عمليات الاستمرارية في تشفير آليات التحكم الأخرى في لغات البرمجة مثل الاستثناءات والمولدات والروتينات المساعدة وما إلى ذلك.

" الاستمرارية الحالية current continuation أو "استمرار خطوة الحساب" هي الاستمرارية ، من منظور الكود المشغّل، الذي سيتم اشتقاقهمن النقطة الحالية في تنفيذ البرنامج. يمكن أيضًا استخدام مصطلح استمرارية للإشارة إلى استمرارية الدرجة الأولى، والتي هي عبارة عن تركيبات تعطي لغة البرمجة القدرة على حفظ حالة التنفيذ في أي نقطة والعودة إلى تلك النقطة في وقت لاحق في البرنامج ، ربما عدة مرات.

دعم لغة البرمجة

تعرض العديد من لغات البرمجة استمرارية من الدرجة الأولى تحت أسماء مختلفة ؛ على وجه التحديد:

  • ليسب الشائع : cl-cont . يمكن للمرء أيضًا استخدام وحدات الماكرو المخصصة
  • C # / VB. NET : async و await : "الاشتراك بقية الطريقة باعتبارها استمرارا، ومن ثم العودة إلى المتصل على الفور، فإن المهمة الاحتجاج على استمرار عندما يكمل". البرمجة غير المتزامنة لـ C #
  • فاكتور : callcc0 و callcc1
  • هاسكل : استمرار الكائن الدقيق الاحادي الخلية في Control. Monad. Cont
  • Haxe : haxe متابعة
  • أيقونة ، Unicon : create, suspend, @ عامل التشغيل: coexpressions
  • جافا : Lightwolf javaflow (يتطلب معالجة الرمز الثانوي في وقت التشغيل أو وقت الترجمة)
  • كوتلن : Continuation
  • جافا سكريبت وحيد القرن : Continuation
  • باروت : Continuation PMC ؛ يستخدم أسلوب التمرير المستمر لجميع تدفق التحكم
  • بيرل : كورو والاستمرارية
  • Pico : call(exp()) continue(aContinuation, anyValue)
  • بايثون : استمرار _continuation.continulet
  • راكيت: call-with-current-continuation (عادة ما يتم اختصاره call/cc )
  • روبي : callcc
  • سكالا : scala.util.continuations يوفر shift / reset scala.util.continuations
  • سكيم : call-with-current-continuation (عادة ما يتم اختصاره call/cc )
  • Smalltalk : Continuation currentDo: يمكن تنفيذ عمليات الاستمرارية في معظم بيئات Smalltalk الحديثة بدون دعم VM إضافي.
  • معيار ML لنيوجيرسي : SMLofNJ. Cont.callcc
  • Unlambda : c ، عملية التحكم في التدفق للمكالمة مع استمرار التيار

انظر أيضًا

  • تدفق التحكم
  • اذهب إلى
  • كومة السباغيتي
  • Quajects ، نوع من الكائن الذي يسمح بتعيين عمليات الاستمرارية القابلة للتحديد (تسمى "وسائل الشرح") للطرق على أساس كل كائن ، من خلال حقن التبعية .

المراجع

قراءة متعمقة

  • بيتر لاندين . تقرير تعميم القفزات والتسميات . UNIVAC Systems Programming Research. أغسطس 1965. أعيد طبعها بترتيب أعلى وحساب رمزي ، 11 (2): 125-143 ، 1998 ، مع مقدمة كتبها Hayo Thielecke.
  • درو ماكديرموت وجيري سوسمان . دليل Conniver المرجعي MIT AI Memo 259. مايو 1972.
  • دانيال بوبرو : نموذج لهياكل التحكم في لغات برمجة الذكاء الاصطناعي IJCAI 1973.
  • كارل هيويت وبيتر بيشوب وريتشارد ستيجر . شكلية فاعلية عالمية للذكاء الاصطناعي IJCAI 1973.
  • كريستوفر ستراشي وكريستوفر ب . وادسورث . تابع: دلالات رياضية للتعامل مع القفزات الكاملة دراسة فنية PRG-11. مختبر الحوسبة بجامعة أكسفورد. يناير 1974. أعيد طبعها بترتيب أعلى وحساب رمزي ، 13 (1/2): 135-152 ، 2000 ، مع مقدمة بقلم كريستوفر ب. وادسورث.
  • جون سي رينولدز . المترجمون التعريفيون لجلسات البرمجة عالية المستوى في المؤتمر الوطني الخامس والعشرين لـ ACM ، ص.   717-740 ، 1972. أعيد طبعه في الحساب الأعلى والحساب الرمزي 11 (4): 363-397 ، 1998 ، مع مقدمة.
  • جون سي رينولدز. حول العلاقة بين وقائع الدلالات المباشرة والاستمرارية للندوة الثانية حول الأتمتة واللغات والبرمجة. المجلد LNCS. 14 ، ص.   141-156 ، 1974.
  • Reynolds, John C. (1993)، "The discoveries of continuations" (PDF)، Lisp and Symbolic Computation، 6 (3/4): 233–248، مؤرشف من الأصل (PDF) في 03 مارس 2019.
  • جيرالد سوسمان وجاي ستيل . SCHEME: مترجم لـ Extended Lambda Calculus AI Memo 349 ، MIT Artificial Intelligence Laboratory ، كامبريدج ، ماساتشوستس ، ديسمبر 1975. أعيد طبعه في الحساب الأعلى والحساب الرمزي 11 (4): 405-439 ، 1998 ، مع مقدمة.
  • روبرت هايب ، ر. كينت ديبفيج ، كارل بروجمان . تمثيل التحكم في وجود إجراءات استمرار من الدرجة الأولى لمؤتمر ACM SIGPLAN '90 حول تصميم لغة البرمجة وتنفيذها ، ص.   66-77.
  • ويل كلينجر ، آن هارتهايمر ، إريك أوست . استراتيجيات تنفيذ إجراءات المتابعة لمؤتمر ACM لعام 1988 حول LISP والبرمجة الوظيفية ، ص.   124-131 ، 1988. إصدار المجلة: الحوسبة العليا والرمزية ، 12 (1): 7-45 ، 1999.
  • كريستيان كوينيك . عكس عكس التحكم أو ، المتابعة مقابل البرمجة المتمركزة على الصفحة إشعارات SIGPLAN 38 (2) ، ص.   57-64 ، 2003.

روابط خارجية

  • بوابة منطق
  • بوابة علم الحاسوب
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.