Ana menüyü aç

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

ÖrnekDüzenle

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çaDüzenle

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