Vikipedi
ML
ML ya da ml şu anlamlara gelebilir:
- ML: bir programlama dili
- ML: Richter ölçeği
- ml, hacim birimi, litrenin binde biri, cm'e eşit
- .ml, Mali için internet ülke kodu üst seviye alan adı
- Marksizm-Leninizm kısaltması
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.Robin Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17 (3): 348-375, 1978 Ö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.