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.^[1] Ö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.

ML

Paradigması	Yordamsal, işlevsel
İlk çıkışı	1973 (52 yıl önce) (1973)
Tasarımcı	Robin Milner ve Edinburgh Üniversitesindeki diğer kişiler
Lehçeleri	Standard ML, Caml
Etkilendikleri	ISWIM
Etkiledikleri	Clojure, Coq, Cyclone, C++, Elm, F#, F*, Haskell, Idris, Kotlin, Miranda, Nemerle, OCaml, Opa, Erlang, Rust, Scala, Standard ML

Ö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)