22 ilişkiler: Çöp toplama (bilgisayar bilimi), C++, Caml, Clojure, Derleyici, Erlang (programlama dili), F Sharp, Faktöriyel, Fonksiyonel programlama, Haskell, Lisp, OCaml, Opa (programlama dili), Otomatik teorem kanıtlama, Program doğrulama, Robin Milner, Rust, Scala (programlama dili), Standart ML, Tip güvenliği, Veri tipi, Yordamsal programlama.
Çöp toplama (bilgisayar bilimi)
Bilgisayar Biliminde garbage collection kaynak yönetiminin özel bir adımıdır.
Yeni!!: ML (programlama dili) ve Çöp toplama (bilgisayar bilimi) · Daha fazla Gör »
C++
C++ (Türkçe okunuşu: ce artı artı, İngilizce okunuşu: si plas plas), Bell Laboratuvarlarından Bjarne Stroustrup tarafından 1979 yılından itibaren geliştirilmeye başlanmış, C'yi kapsayan ve çok paradigmalı, yaygın olarak kullanılan, genel amaçlı bir programlama dilidir.
Yeni!!: ML (programlama dili) ve C++ · Daha fazla Gör »
Caml
Caml veya Objective Caml, fonksiyonel, emirsel ve nesne yönelimli bir programlama dilidir.
Yeni!!: ML (programlama dili) ve Caml · Daha fazla Gör »
Clojure
Clojure (telaffuz: kılojur) Lisp programlama dilinin lehçelerinden bir tanesidir.
Yeni!!: ML (programlama dili) ve Clojure · Daha fazla Gör »
Derleyici
Programcılıkta, bir programlama dilinde yazılmış olan kaynak kodunu başka bir dile (genellikle makine koduna) çeviren yazılım.
Yeni!!: ML (programlama dili) ve Derleyici · Daha fazla Gör »
Erlang (programlama dili)
Erlang Ericsson firması tarafından 1986'da Joe Armstrong, Robert Virding ve Mike Williams önderliğinde geliştirilen genel amaçlı(general-purpose), eş zamanlı(concurrent), dinamik(dynamic typing), fonksiyonel aynı zamanda atık toplama(garbage-collected) özelliğine sahip olan bir dildir.
Yeni!!: ML (programlama dili) ve Erlang (programlama dili) · Daha fazla Gör »
F Sharp
F# Microsoft Research tarafından geliştirilern ve.Net Framework üzerinde çalışan fonksiyonel programlama dilidir.
Yeni!!: ML (programlama dili) ve F Sharp · Daha fazla Gör »
Faktöriyel
Faktöriyel, matematikte, sağına ünlem işareti konulmuş sayıya verilen isim, daha genel olan Gama Fonksiyonu'nun tam sayılarla sınırlanmış özel bir durumudur.
Yeni!!: ML (programlama dili) ve Faktöriyel · Daha fazla Gör »
Fonksiyonel programlama
Fonksiyonel programlama, yalnızca fonksiyonların kullanılmasıyla yazılmış programlardır.
Yeni!!: ML (programlama dili) ve Fonksiyonel programlama · Daha fazla Gör »
Haskell
Haskell, isim babası matematikçi Haskell Curry olan arı işlevsel programlama dilidir.
Yeni!!: ML (programlama dili) ve Haskell · Daha fazla Gör »
Lisp
Lisp, kullanımda olan en eski ve en güçlü programlama dillerinden biridir.
Yeni!!: ML (programlama dili) ve Lisp · Daha fazla Gör »
OCaml
Ocaml, Fransız Ulusal Bilişim ve Uygulamaları Araştırma Kurumu'nda (INRIA) Xavier Leroy tarafından geliştirilen, ücretsiz ve özgür bir lisans altında sunulan, ML programlama dilleri ailesine mensup, hem yorumlanan hem de derlenip doğal makine koduna dönüştürülebilen gelişmiş bir fonksiyonel programlama dilidir.
Yeni!!: ML (programlama dili) ve OCaml · Daha fazla Gör »
Opa (programlama dili)
Opa, Web uygulamaları geliştirmeye yarayan açık kaynak kodlu bir programlama dilidir.
Yeni!!: ML (programlama dili) ve Opa (programlama dili) · Daha fazla Gör »
Otomatik teorem kanıtlama
Otomatik teorem kanıtlama, teoremlerin bilgisayar programları aracılığıyla kanıtlanmasına odaklanan matematiksel mantık dalıdır.
Yeni!!: ML (programlama dili) ve Otomatik teorem kanıtlama · Daha fazla Gör »
Program doğrulama
Bilgisayar bilimlerinde, program doğrulama, verilen bir programın belli bir önkoşul ve sonkoşula göre doğru olup olmadığının matematiksel yöntemler kullanılarak kanıtlanmasıdır.
Yeni!!: ML (programlama dili) ve Program doğrulama · Daha fazla Gör »
Robin Milner
Arthur John Robin Gorell Milner (13 Ocak 1934 - 20 Mart 2010), Britanyalı bilgisayar bilimcisi.
Yeni!!: ML (programlama dili) ve Robin Milner · Daha fazla Gör »
Rust
Rust açık kaynak kodlu, çoklu paradigmalı, Mozilla tarafından geliştirilmekte olan programlama dili.
Yeni!!: ML (programlama dili) ve Rust · Daha fazla Gör »
Scala (programlama dili)
Scala, Java'ya çok yakın olan bir programlama dilidir.
Yeni!!: ML (programlama dili) ve Scala (programlama dili) · Daha fazla Gör »
Standart ML
Standart ML (SML), çok amaçlı işlevsel programlama dilidir.
Yeni!!: ML (programlama dili) ve Standart ML · Daha fazla Gör »
Tip güvenliği
Tip güvenliği bir programlama dilinin veri tipi hatalarına karşı duyarlığını ifade eden bir terimdir.
Yeni!!: ML (programlama dili) ve Tip güvenliği · Daha fazla Gör »
Veri tipi
Veri türü, bilgisayar programlamasının tür sisteminde veriyi açıklamak üzere kurulmuştur.
Yeni!!: ML (programlama dili) ve Veri tipi · Daha fazla Gör »
Yordamsal programlama
Yordamsal programlama, yordamların çağrılması mantığına dayanan bir yöntemdir.
Yeni!!: ML (programlama dili) ve Yordamsal programlama · Daha fazla Gör »