Design: دعم استدعاء الذيل المناسب

تم إنشاؤها على ١٨ يونيو ٢٠١٥  ·  3تعليقات  ·  مصدر: WebAssembly/design

هل يدعم webassembly مكالمات الذيل المناسبة؟ يوجد حاليًا رابط في https://github.com/WebAssembly/design/blob/master/AstSemantics.md#control -flow-Structures يشير إلى "ميزة الاتصال الخلفي المقيدة بالتوقيع" ، مما يشير إلى أنه تم النظر في مثل هذا الدعم ، لكن الرابط يشير إلى نقطة ارتساء مفقودة في صفحة ميزات MVP المنشورة: https://github.com/WebAssembly/design/blob/master/PostMVP.md#signature -restricted-right-tail-calls

إذا كان الجواب "ربما" ، فما أفضل طريقة للمساهمة في المساعدة على طول هذا الدعم؟

التعليق الأكثر فائدة

نعم ، سيتم دعم مكالمات الذيل المناسبة ، ولكن من المحتمل ألا يكون ذلك في MVP. سيكون هذا مفيدًا بشكل خاص للغات الوظيفية التي تعتمد على تحسين مضمون للاتصال الذيل. اطلع على المناقشات في # 33 و # 44. كيف يتم دعمه لا يزال في الهواء لأنه يحتاج إلى إجراء تجارب وقياسات أداء.

ال 3 كومينتر

نعم ، سيتم دعم مكالمات الذيل المناسبة ، ولكن من المحتمل ألا يكون ذلك في MVP. سيكون هذا مفيدًا بشكل خاص للغات الوظيفية التي تعتمد على تحسين مضمون للاتصال الذيل. اطلع على المناقشات في # 33 و # 44. كيف يتم دعمه لا يزال في الهواء لأنه يحتاج إلى إجراء تجارب وقياسات أداء.

لقد ألقيت نظرة على # 33 و # 44 ، ويبدو أن رقم 45 مرتبط أيضًا. لكنني متشكك في إمكانية تحقيق استدعاء مناسب من خلال أي آلية تستند إلى تحليل تدفق التحكم (سواء تم دعم التحكم في التدفق غير القابل للاختزال أم لا).

كما تقول ، تعتمد اللغات الوظيفية على تحسينات مضمونة للاتصال الذيل ، على الرغم من أن هذه المصطلحات مرفوضة لأنها تدعو إلى الارتباك مع نوع التكلفة الإجمالية للملكية التي يقوم بها المترجمون C / C ++ / etc ، حيث قد يتم فرض قيود مختلفة على المكالمات المؤهلة. لذلك يتم استخدام مصطلح "مكالمات الذيل المناسبة" بدلاً من ذلك. في لغة ذات مكالمات ذيل مناسبة ، فإن أي مكالمة في وضع الذيل مطلوبة للتخلي عن التخزين الذي يشغله إطار تنشيط الاستدعاء. يتضمن ذلك المكالمات غير المباشرة ، ومن هنا تأتي صعوبة تحليل تدفق التحكم المحلي. لذلك عادةً ما يكون لمجمعي / أوقات تشغيل اللغة الوظيفية عمليات استدعاء خلفية واضحة واصطلاحات استدعاء لدعمها.

إنه لأمر رائع أن تكون منفتحًا على فكرة دعم الاتصال الذيل المناسب ، ويمكنني أن أفهم أن هذه المشكلة خارج نطاق MVP. ولكن بدلاً من مجرد إغلاقه ، هل يمكن تركه مفتوحًا ولكن مع إعطاء تسمية post-MVP / post-What / icebox ، بحيث يكون من الواضح أن الأمر لم تتم تسويته بعد؟

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

هل كانت هذه الصفحة مفيدة؟
0 / 5 - 0 التقييمات

القضايا ذات الصلة

chicoxyzzy picture chicoxyzzy  ·  5تعليقات

badumt55 picture badumt55  ·  8تعليقات

aaabbbcccddd00001111 picture aaabbbcccddd00001111  ·  3تعليقات

artem-v-shamsutdinov picture artem-v-shamsutdinov  ·  6تعليقات

spidoche picture spidoche  ·  4تعليقات