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