ML (שפת תכנות)
שפת תכנות / ויקיפדיה האנציקלופדיה encyclopedia
ML היא שפת תכנות פונקציונלית לשימוש כללי, שפותחה בתחילת שנות השבעים על ידי רובין מילנר ואחרים באוניברסיטת אדינבורו.
ערך זה עוסק בשפת תכנות. אם התכוונתם לאי-שוויון, ראו אי-שוויון ML.
עובדות מהירות פרדיגמות, תאריך השקה ...
פרדיגמות | מרובת פרדיגמות: אימפרטיבית, פונקציונלית. |
---|---|
תאריך השקה | 1973 |
מתכנן | רובין מילנר ואחרים |
מפתח | רובין מילנר |
טיפוסיות | חזקה, סטטית, הסקת טיפוסים |
מימושים | New Jersey, MLton, Moscow ML, ML-Kit, Poly/ML |
ניבים | SML, OCaml, F#, Lazy ML, Alice, Mythryl, Rpal |
הושפעה על ידי | ISWIM |
השפיעה על | Miranda, Haskell, Cyclone, ++C, F#, Clojure, Felix |
סגירה
מקור השם ML הוא בראשי תיבות של המונח Meta-Language - מטה-שפה, דהיינו שפה העוסקת בשפה עצמה. השפה תוכננה במקור לסיוע בפיתוח מוכיח-טענות אוטומטי, ש-ML שימשה כמטה-שפה עבורו.
ML ידועה בשל מנגנון הסקת טיפוסים שיושם בה לראשונה, ומאפשר למפרש של השפה לקבוע באופן אוטומטי את הטיפוס של מרבית הביטויים בשפה, ללא צורך בציון מפורש.