سعيد جدا بالتقدم المحرز في HVM4. SupGen مدمج الآن ، ولدينا (أخيرا) نظام نوع متكامل ، مما يعني أن HVM سيتضاعف كمدقق فائق السرعة ومتوازي. لن أتفاجأ إذا انتهى الأمر إلى أن تكون OOMs أسرع من Lean ، وأعتقد أن ذلك قد يكون مفيدا عند إنشاء نظرية تثبت بيئات RL. أيضا: أنا أحب C مرة أخرى. كل شيء C الآن ، حتى المحلل. عندما تنمو قاعدة التعليمات البرمجية بسرعة كبيرة ، أقضي المطالبات العديدة التالية فقط لتلميع جودة التعليمات البرمجية وتحسينها. هذا يحافظ على قاعدة التعليمات البرمجية تحت السيطرة. قادما من Haskell ، أقدر مدى استقرار وسرعة كل شيء. ربما لسنا بعيدين عن الأوقات التي تصبح فيها كتابة تطبيقات الويب باللغة C قابلة للتطبيق بالفعل