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: 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