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.
| Paradigması | Yordamsal, işlevsel |
|---|---|
| İlk çıkışı | 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 |
Ö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)
Kaynakça
- Robin Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17 (3): 348-375, 1978
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.