ML (programlama dili)

ML ('Meta Language') genel amaçlı bir işlevsel programlama dilidir. Lisp'ten esinlenmiş dilde ifadelerin veri tipini otomatik olarak atayan Hindley-Milner sistemi kullanılmıştır. Örüntü eşleme ve atık toplama teknolojilerini de bünyesinde barındıran ML birçok programlama dili araştırmasına kaynaklık etmiş; derleyici tasarımı, otomatik teorem kanıtlama ve program doğrulama uygulamalarında kullanılmıştır.

Örnek 
Faktöriyel işlevi ML'de şu biçimde ifade edilebilir:

fun fac (0 : int) : int = 1
  | fac (n : int) : int = n * fac (n - 1)

Kaynakça 

Akademik programlama dilleri
Fonksiyonel programlama dilleri
Yordamsal programlama dilleri
ML programlama dili ailesi
Örüntü eşleme programlama dilleri
Statik tipli programlama dilleri
1973'te oluşturulan programlama dilleri