כל מה שרצית לדעת על ML (שפת תכנות):
ML היא שפת תכנות פונקציונלית לשימוש כללי, שפותחה בתחילת שנות השבעים על ידי רובין מילנר ואחרים באוניברסיטת אדינבורו.
מקור השם ML הוא בראשי תיבות של המונח Meta-Language – מטה-שפה, דהיינו שפה העוסקת בשפה עצמה.
השפה תוכננה במקור לסיוע בפיתוח מוכיח-טענות אוטומטי, ש-ML שימשה כמטה-שפה עבורו.
ML ידועה בשל מנגנון הסקת טיפוסים שיושם בה לראשונה, ומאפשר למפרש של השפה לקבוע באופן אוטומטי את הטיפוס של מרבית הביטויים בשפה, ללא צורך בציון מפורש.