أم أل المعيارية
 | هذه مقالة غير مراجعة. (يونيو 2020) |
أم أل المعيارية
| التصنيف | |
|---|---|
| التنميط | |
| ظهرت في |
1983[1]  |
| الإصدار الأول |
1983 |
|---|
| مشتقة من | |
|---|---|
| متأثرة بـ |
| امتدادات الملفات |
sml |
|---|---|
| موقع الويب |
smlfamily.github.io (الإنجليزية) |
أم ال المعيارية ( SML ) Standard ML هي لغة برمجة للأغراض العامة، لغة معيارية و وظيفية مع تجميع زمني ذو اختبار للتنويع البرمجي. وهي تحظى بشعبية كبيرة بين كتاب المجمّعات والباحثين في لغة البرمجة، وكذلك في تطوير نظرية الاثبات التلقائي.
SML هي لهجة حديثة لـ ML ، لغة البرمجة المستخدمة في مشروع إثبات نظرية المنطق للوظائف (الدوال) الحسابية (LCF). وهي مميزة بين اللغات المستخدمة على نطاق واسع من حيث أنها تحتوي على مواصفات قياسية، مقدمة كقواعد كتابة ودلالات تشغيلية في تعريف ML القياسي . [2]
أمثلة أكواد برمجية
[عدل]مرحبا يا عالم
[عدل]البرنامج التالي "hello.sml":
print "مرحباً يا عالم!\n";يمكن تجميعها باستخدام MLton:
$ mlton hello.smlو تُشغّل:
$ ./hello Hello world!انظر أيضًا
[عدل]المراجع
[عدل]- ^ ا ب وصلة مرجع: https://www.smlnj.org/sml97.html.
- ^ 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
