نيوت: لغة برمجة وظيفية مع إدارة ذاكرة ثابتة

نيوت هي لغة برمجة وظيفية تتميز بإدارة ذاكرة ثابتة، حيث تجمع بذكاء بين دعم حساب لامدا الكامل، وإدارة الذاكرة التلقائية القابلة للتنبؤ، وغياب تعليقات الأنواع في نظام الأنواع. وعلى عكس تقنيات جمع القمامة التقليدية، تستخدم نيوت نهجًا موجهًا للأنواع للتعامل مع الموارد. يضمن المترجم استخدام كل متغير مرة واحدة بالضبط، من خلال ترجمة الأنواع إلى دوال يمكنها تجاهل أو نسخ القيم. وحتى عندما تكون النسخة ضرورية، تتجنب نيوت العبء الزائد غير الضروري باستخدام عامل التشغيل T-الضرورة في المنطق النمطي، على غرار آلية الاستعارة في Rust. تُترجم نيوت إلى LLVM IR وملفات ثنائية، وتتميز بخادم LSP مدمج، وأداة تنسيق شفرة، وتجربة إنشاء نماذج أولية سريعة تشبه لغات البرمجة النصية. يتميز نظام الوحدات الفريد الخاص بها بتمييز الوحدات باستخدام ملخصات tarballs، وبتعريف هويات الوحدات باستخدام معلومات الإصدار.