ML ('Meta Language') genel amaçlı bir işlevsel programlama dilidir. Lisp'ten esinlenmiş dilde veri tipini otomatik olarak atayan kullanılmıştır. 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 |
Statik, güçlü, güvenli | |
Standard ML, Caml | |
Etkilendikleri | |
Etkiledikleri | Clojure, , , , , F#, , Haskell, , Kotlin, , , OCaml, Opa, Erlang, Rust, Scala, Standard ML |
Ö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
Programlama dili ile ilgili bu madde seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz. |
wikipedia, wiki, viki, vikipedia, oku, kitap, kütüphane, kütübhane, ara, ara bul, bul, herşey, ne arasanız burada,hikayeler, makale, kitaplar, öğren, wiki, bilgi, tarih, yukle, izle, telefon için, turk, türk, türkçe, turkce, nasıl yapılır, ne demek, nasıl, yapmak, yapılır, indir, ücretsiz, ücretsiz indir, bedava, bedava indir, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, resim, müzik, şarkı, film, film, oyun, oyunlar, mobil, cep telefonu, telefon, android, ios, apple, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, pc, web, computer, bilgisayar
ML Meta Language genel amacli bir islevsel programlama dilidir Lisp ten esinlenmis dilde veri tipini otomatik olarak atayan kullanilmistir ve atik toplama teknolojilerini de bunyesinde barindiran ML bircok programlama dili arastirmasina kaynaklik etmis derleyici tasarimi otomatik teorem kanitlama ve program dogrulama uygulamalarinda kullanilmistir MLParadigmasiYordamsal islevselIlk cikisi1973 51 yil once 1973 TasarimciRobin Milner ve Edinburgh Universitesindeki diger kisilerStatik guclu guvenliStandard ML CamlEtkilendikleriEtkiledikleriClojure C F Haskell Kotlin OCaml Opa Erlang Rust Scala Standard MLOrnekFaktoriyel islevi ML de su bicimde ifade edilebilir fun fac 0 int int 1 fac n int int n fac n 1 Kaynakca 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 icerigini genisleterek Vikipedi ye katki saglayabilirsiniz