مُقيّم بيتا ذو نمط مباشر ورتبة طبيعية مع قواعد بناء الجملة وتطبيقات متكررة لـ call/cc
2025-09-17
تتناول هذه الورقة تطبيقات أقل شيوعًا لـ call/cc داخل وحدات ماكرو Scheme الصحية، خاصة استخدامها في مساعدة الحسابات اللّامدا المملة. يقدم الكاتب مُقيّم بيتا ذو نمط مباشر ورتبة طبيعية يجمع ببراعة بين قواعد بناء الجملة وتطبيقات متكررة لـ call/cc، مُثبتًا صحته من خلال تحويل CPS وحاسبة لامدا ذكية بنمط مباشر. تتعمق الورقة أيضًا في الاستمرارات المحددة، مُبيّنة كيف يمكن لوحدات ماكرو بسيطة تطبيق العديد من مُشغلات الاستمرارية المحددة، مثل prompt و control. يبرز تطبيق دالة عاملي قائم على call/cc ومناقشة الاستمرارات المحددة أناقة وفعالية هذا النهج.
اقرأ المزيد
التطوير