ML (programlama dili)

Vikipedi, özgür ansiklopedi
Gezinti kısmına atla Arama kısmına atla
ML
Paradigması Yordamsal, işlevsel
İlk çıkışı 1973 (45 yıl önce) (1973)
Tasarımcı Robin Milner
Tip sistemi Statik, güçlü, güvenli
Lehçeleri Standard ML, Caml
Etkilendikleri ISWIM
Etkiledikleri Clojure, Coq, Cyclone, C++, Elm, F#, F*, Haskell, Idris, Miranda, Nemerle, OCaml, Opa, Erlang, Rust, Scala

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.

Örnek[değiştir | kaynağı değiştir]

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[değiştir | kaynağı değiştir]

  1. ^ Robin Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17 (3): 348-375, 1978