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.Robin Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17 (3): 348-375, 1978 Ö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 

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