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