أم أل المعيارية
 | هذه مقالة غير مراجعة. (يونيو 2020) |
أم ال المعيارية ( SML ) Standard ML هي لغة برمجة للأغراض العامة، لغة معيارية و وظيفية مع تجميع زمني ذو اختبار للتنويع البرمجي. وهي تحظى بشعبية كبيرة بين كتاب المجمّعات والباحثين في لغة البرمجة، وكذلك في تطوير نظرية الاثبات التلقائي.
أم أل المعيارية |
SML هي لهجة حديثة لـ ML ، لغة البرمجة المستخدمة في مشروع إثبات نظرية المنطق للوظائف (الدوال) الحسابية (LCF). وهي مميزة بين اللغات المستخدمة على نطاق واسع من حيث أنها تحتوي على مواصفات قياسية، مقدمة كقواعد كتابة ودلالات تشغيلية في تعريف ML القياسي . [1]
أمثلة أكواد برمجية
مرحبا يا عالم
البرنامج التالي "hello.sml":
print "مرحباً يا عالم!\n";
يمكن تجميعها باستخدام MLton:
$ mlton hello.sml
و تُشغّل: <syntaxhighlight lang="sml">
$ ./hello Hello world! </sygiyntaxhighlight>
انظر أيضًا
المراجع
- ^ Milner، Robin؛ Tofte، Mads؛ Harper، Robert؛ MacQueen، David (1997). The Definition of Standard ML (Revised). MIT Press. ISBN:0-262-63181-4.
روابط خارجية
- مشروع GitHub العائلي ML القياسي
- لغة ML القياسية Mads Tofte ، Scholarpedia ، 4 (2): 7515. دوى: 10.4249 / scholarpedia.7515
- ما هو SML؟
- ما هو SML '97؟
- الغرض من ML (sML) اللاحق هو توفير وسيلة للتطور المستمر لـ ML ، باستخدام معيار ML كنقطة انطلاق.
- البرمجة بلغة ML القياسية
- البرمجة بلغة ML ML القياسية 97: برنامج تعليمي عبر الإنترنت
- جامعة. شيكاغو - دروس SML (شرائح)
- CSE341: لغات البرمجة ، دان غروسمان ، جامعة واشنطن. أيضا على Coursera و YouTube
