ML (שפת תכנות) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
David.r.1929 (שיחה | תרומות) מ הוספת קטגוריה:אוניברסיטת אדינבורו באמצעות HotCat |
|||
שורה 26:
בשונה משפת Haskell,{{כ}} ML נוקטת בחישוב ביטויים מוקדם (Eager evaluation). עם זאת, חישוב ביטויים עצל (Lazy evaluation) ניתן להשגה באמצעות מנגנון סְגוֹר (Closure).
כיום ישנן מספר שפות במשפחת ML. שני הדיאלקטים העיקריים הם Standard ML{{כ}} (SML) ו-Caml. עם זאת קיימים דיאלקטים נוספים, בהם
עיקר כוחה של ML בא לידי ביטוי בעיצוב ועיבוד שפות ([[מהדר]]ים, מנתחי שפה, מוכיחי טענות), אך היא שפה לשימוש כללי ונמצאת בשימוש גם ב[[ביואינפורמטיקה]], מערכות פיננסיות, ושימושים רבים אחרים.
| |||