ML (programlama dili)

fonksiyonel 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 (51 yıl önce) (1973)
TasarımcıRobin Milner ve Edinburgh Üniversitesindeki diğer kişiler
LehçeleriStandard ML, Caml
EtkilendikleriISWIM
EtkiledikleriClojure, Coq, Cyclone, C++, Elm, F#, F*, Haskell, Idris, Kotlin, Miranda, Nemerle, OCaml, Opa, Erlang, Rust, Scala, Standard ML

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
  1. ^ Robin Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17 (3): 348-375, 1978