ML (programlama dili)
Vikipedi, özgür ansiklopedi
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.
Örnek[değiştir | kaynağı değiştir]
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)
0 Yorumlar