أم أل المعيارية
من ويكيبيديا، الموسوعة encyclopedia
أم ال المعيارية ( SML ) Standard ML هي لغة برمجة للأغراض العامة، لغة معيارية و وظيفية مع تجميع زمني ذو اختبار للتنويع البرمجي. وهي تحظى بشعبية كبيرة بين كتاب المجمّعات والباحثين في لغة البرمجة، وكذلك في تطوير نظرية الاثبات التلقائي.
هذه مقالة غير مراجعة. (يونيو 2020) |
معلومات سريعة التصنيف, التنميط ...
أم أل المعيارية
التصنيف | |
---|---|
التنميط | |
ظهرت في |
1983[1] |
الإصدار الأول |
---|
مشتقة من | |
---|---|
متأثرة بـ |
امتدادات الملفات | |
---|---|
موقع الويب |
smlfamily.github.io (الإنجليزية) |
إغلاق
SML هي لهجة حديثة لـ ML ، لغة البرمجة المستخدمة في مشروع إثبات نظرية المنطق للوظائف (الدوال) الحسابية (LCF). وهي مميزة بين اللغات المستخدمة على نطاق واسع من حيث أنها تحتوي على مواصفات قياسية، مقدمة كقواعد كتابة ودلالات تشغيلية في تعريف ML القياسي . [2]