ML (programlama dili)
fonksiyonel programlama dili
(ML programlama dili sayfasından yönlendirildi)
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.
| Paradigması | Yordamsal, işlevsel |
|---|---|
| İlk çıkışı | 1973) |
| Tasarımcı | Robin Milner ve Edinburgh Üniversitesindeki diğer kişiler |
| Tip sistemi | Statik, güçlü, güvenli |
| 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
değiştirFaktö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- ^ Robin Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17 (3): 348-375, 1978
 | Programlama dili ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz. |