Back ML AN أم أل (لغة برمجة) Arabic ML Catalan ML (Programmiersprache) German ML (γλώσσα προγραμματισμού) Greek ML (programming language) English ML (programlingvo) Esperanto ML (lenguaje de programación) Spanish امال Persian ML (ohjelmointikieli) Finnish
| Paradigması | Yordamsal, işlevsel |
|---|---|
| İlk çıkışı | 1973) |
| Tasarımcı | Robin Milner ve Edinburgh Üniversitesindeki diğer kişiler |
| 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 |
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.
- ^ Robin Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17 (3): 348-375, 1978