Unionpedia uygulamasını Google Play Store'da geri yüklemek için çalışıyoruz
GidenGelen
🌟Daha iyi gezinme için tasarımımızı basitleştirdik!
Instagram Facebook X LinkedIn

ML (programlama dili)

Endeks 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.

İçindekiler

  1. 24 ilişkiler: Çöp toplama (bilgisayar bilimi), C++, Caml, Clojure, Derleyici, Edinburgh Üniversitesi, Erlang (programlama dili), F Sharp, Faktöriyel, Fonksiyonel programlama, Haskell, Kotlin, 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 türü, Yordamsal programlama.

  2. Örüntü eşleme programlama dilleri
  3. 1973'te oluşturulan programlama dilleri
  4. Akademik programlama dilleri
  5. Fonksiyonel programlama dilleri
  6. ML programlama dili ailesi
  7. Statik tipli programlama dilleri
  8. Yordamsal programlama dilleri

Çöp toplama (bilgisayar bilimi)

Çöp toplama (Garbage Collection) Bilgisayar Biliminde garbage collection kaynak yönetiminin özel bir adımıdır. Bilgisayar hafızasının yönetilmesi işleminde kullanılmaktadır.

Görmek ML (programlama dili) ve Çöp toplama (bilgisayar bilimi)

C++

C++ (telaffuz: si pılas pılas), Bjarne Stroustrup tarafından 1979 yılında Bell Laboratuvarları'nda geliştirilmeye başlanmış, C'yi kapsayan ve çok paradigmalı, yaygın olarak kullanılan, genel amaçlı bir programlama dilidir.

Görmek ML (programlama dili) ve C++

Caml

Caml veya Objective Caml, fonksiyonel, emirsel ve nesne yönelimli bir programlama dilidir. Fransız Ulusal Bilişim ve Uygulamaları Araştırma Kurumu; INRIA tarafından geliştirilmiştir.

Görmek ML (programlama dili) ve Caml

Clojure

Clojure (telaffuz: kılojur), Lisp programlama dilinin lehçelerinden bir tanesidir. Clojure genel amaçlı bir programlama dilidir ve fonksiyonel programlamayı temel alıp, paralel zamanlı programlamayı kolaylaştırır.

Görmek ML (programlama dili) ve Clojure

Derleyici

Çok dilli, çok hedefli bir derleyici diyagramı Derleyici, kaynak kodları makine koduna derleme görevine hizmet eden yazılımların adıdır. Bir programlama dilinin derleyicisi, o programlama dili kullanılarak yazılmış olan kodu hedef işlemci mimarisine göre uygun şekilde makine koduna derler ve genellikle çıktı olarak yürütülebilir dosyasının (exeutable file) elde edilmesini sağlar.

Görmek ML (programlama dili) ve Derleyici

Edinburgh Üniversitesi

Edinburgh Üniversitesi, İskoçya'nın başkenti, Edinburgh'da bulunan bir üniversitedir. 14 Nisan 1582 tarihinde Kral VI. James tarafından yasalaştırılan Edinburgh Üniversitesi 1583 yılında kurulmuştur.

Görmek ML (programlama dili) ve Edinburgh Üniversitesi

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 ve atık toplama (garbage-collected) özelliğine sahip olan bir dildir.

Görmek ML (programlama dili) ve Erlang (programlama dili)

F Sharp

F# Microsoft Research tarafından geliştirilen ve.NET Framework üzerinde çalışan fonksiyonel programlama dilidir.

Görmek ML (programlama dili) ve F Sharp

Faktöriyel

Faktöriyel, matematikte, sağına ünlem işareti konulmuş sayıya verilen isim, daha genel olan Gama fonksiyonunun tam sayılarla sınırlanmış özel bir durumudur.

Görmek ML (programlama dili) ve Faktöriyel

Fonksiyonel programlama

Marko Elezović'in Scala'da Fonksiyonel Programlama ile kod ormanından kaçış, Zagreb, 2014 Bilgisayar biliminde fonksiyonel programlama programların fonksiyonları uygulayarak ve oluşturarak yapıldığı bir programlama paradigmasıdır.

Görmek ML (programlama dili) ve Fonksiyonel programlama

Haskell

Haskell, isim babası matematikçi Haskell Curry olan arı işlevsel programlama dilidir. Haskell'i birçok programlama dilinden ayıran özellikleri tembel değerlendirme, monadlar ve tür sınıflarıdır.

Görmek ML (programlama dili) ve Haskell

Kotlin

Kotlin, Java sanal makinesi (JVM) üzerinde çalışan ayrıca JavaScript kaynak koduna veya LLVM ile makine koduna derlenebilen, statik tipli bir programlama dilidir.

Görmek ML (programlama dili) ve Kotlin

Lisp

Lisp, kullanımda olan en eski ve en güçlü programlama dillerinden biridir. John McCarthy'in 1958'de icat ettiği dilden türetilmiş birçok dile verilen genel ad olmakla birlikte, günümüzde çoğunlukla ANSI Common Lisp'in kısa adı olarak kullanılır.

Görmek ML (programlama dili) ve Lisp

OCaml

Ocaml, Fransız Ulusal Bilişim ve Uygulamaları Araştırma Kurumunda (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.

Görmek ML (programlama dili) ve OCaml

Opa (programlama dili)

Opa, Web uygulamaları geliştirmeye yarayan açık kaynak kodlu bir programlama dilidir. OCaml, Erlang, JavaScript'in etkisinde kalmıştır. 2010'da düzenlenen OWASP konferansında görücüye çıkan Opa'nın kaynak koduna GitHub üzerinden erişilebilmektedir.

Görmek ML (programlama dili) ve Opa (programlama dili)

Otomatik teorem kanıtlama

Otomatik teorem kanıtlama, teoremlerin bilgisayar programları aracılığıyla kanıtlanmasına odaklanan matematiksel mantık dalıdır. Otomatik yordamlar için matematiksel kanıt yönteminin kullanılması bilgisayar biliminin gelişiminde kilit rol oynamıştır.

Görmek ML (programlama dili) ve Otomatik teorem kanıtlama

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.

Görmek ML (programlama dili) ve Program doğrulama

Robin Milner

Arthur John Robin Gorell Milner (13 Ocak 1934 - 20 Mart 2010), Britanyalı bilgisayar bilimcisi. ML programlama diline yaptığı katkılardan ötürü 1991'de Turing Ödülü'nü almaya hak kazanmıştır.

Görmek ML (programlama dili) ve Robin Milner

Rust

Rust şu anlamlara gelebilir.

Görmek ML (programlama dili) ve Rust

Scala (programlama dili)

Scala, hem nesne yönelimli programlamayı hem de fonksiyonel programlamayı destekleyen, statik olarak yazılmış güçlü bir genel amaçlı programlama dilidir. Kısa ve öz olacak şekilde tasarlanan Scala'nın tasarım kararlarının çoğu Java eleştirilerini ele almayı amaçlıyor.

Görmek ML (programlama dili) ve Scala (programlama dili)

Standart ML

Standart ML (SML), çok amaçlı işlevsel programlama dilidir. Çoğunlukla derleyici/yorumlayıcı yazımı ve teorem ispatlama konularında tercih edilir.

Görmek ML (programlama dili) ve Standart ML

Tip güvenliği

Tip güvenliği bir programlama dilinin veri tipi hatalarına karşı duyarlığını ifade eden bir terimdir. Yazılımda kullanılan değişken, sabit değer ve yordamların istenen veri tipleriyle (örn. float türünden bir değişkenin int türünden işlemlerde kullanılamaması) çalışmasını amaçlayan tip güvenliğinin ana hatları tip kuramı tarafından belirlenmiştir.

Görmek ML (programlama dili) ve Tip güvenliği

Veri türü

Veri türü, bilgisayar programlamasının tür sisteminde veriyi açıklamak üzere kurulmuştur. İlkel türleri de içeren programlama dillerindeki verinin ortak türleri (tam sayı, ondalıklı sayı veya karakterler gibi), tuple'ler, kayıtlar, cebirsel veri türleri, soyut veri türleri, referans türleri, sınıflar ve işlev türleridir.

Görmek ML (programlama dili) ve Veri türü

Yordamsal programlama

Yordamsal programlama, yordamların çağrılması mantığına dayanan bir yöntemdir. Fonksiyon, altyordam, altprogram, metot gibi de adlandırılan yordamlar içlerinde hesaplama adımları barındıran program parçacıklarıdır.

Görmek ML (programlama dili) ve Yordamsal programlama

Ayrıca bakınız

Örüntü eşleme programlama dilleri

1973'te oluşturulan programlama dilleri

Akademik programlama dilleri

Fonksiyonel programlama dilleri

ML programlama dili ailesi

Statik tipli programlama dilleri

Yordamsal programlama dilleri

Ayrıca bilinir ML programlama dili.