... يتضمن HVM4 الآن طريقة عامة لتجميع وظائف حساب التفاضل والتكامل التفاعلي إلى كود الماكينة الصفرية ، بما في ذلك الوظائف ذات التراكب. لاحظ أن HVM2 (الذي استخدمه Bend في الأصل) يعتمد دائما على مترجم فوري. لقد وعدنا بأننا سنقوم بتجميعه في النهاية. قام HVM3 بتجميع وظائف تشبه Haskell فقط ، وحصل على دفعة 100x + في هذه الحالات ، ولكن لا يزال بحاجة إلى العودة إلى "المترجم" عند تضمين التراكبات. أخيرا ، ولأول مرة على الإطلاق ، أصبح HVM4 الآن قادرا على تشغيل وظائف حساب التفاضل والتكامل التفاعلي ، حتى تلك التي تحتوي على تراكب ، في وضع التحويل البرمجي الكامل ، بدون نفقات عامة. من الغريب كيف ندفع شبكات التفاعل إلى ما هو أبعد من أي شيء تم القيام به من قبل ، لدرجة أنه ليس لدينا حتى أي شخص ينقل التقدم. هذا المجال غير موجود ، ولا توجد أوراق ، ولا اتفاقيات ، ولا مجتمع. تدفع تغريداتي بشكل أساسي حافة ما تعرفه البشرية عن هذا النموذج. هذا شعور محرج حقا ، وأعتقد أن هذا يعزى في الغالب إلى كونه غير بديهي حقا. على أي حال ، يوجد أدناه رسالة التزام كسولة تشرح الحالة الأخيرة لهذه الخوارزمية: كيفية التعامل مع تطبيق تراكب ثابت (مترجم) على وسيطة ديناميكية ...