מהו קובץ ML?
קובץ ML הוא קובץ טקסט שנוצר בשפת התכנות הפונקציונלית למטרות כלליות ML (הידועה לרוב בשם Meta Language). הוא מכיל קוד מקור ML המשמש לעתים קרובות יותר במחקר ועיצוב שפת תכנות תוך שימוש בסמנטיקה מוגדרת לחלוטין. ישנן וריאציות מרובות של ML כאשר Caml היא הנפוצה ביותר. אחרים כוללים Objective Caml (OCaml), JoCaml, Extended ML ו- MacroML. שפת ML משמשת בדרך כלל לכתיבת מהדר, הוכחת משפטים אוטומטית ואימותים פורמליים.
