Back برمجة تصريحية Arabic Deklarativ proqramlaşdırma Azerbaijani Programació declarativa Catalan Deklarativní programování Czech Deklarative Programmierung German Δηλωτικός προγραμματισμός Greek Declarative programming English Programación declarativa Spanish Deklaratiivne programmeerimine Estonian Programazio deklaratibo Basque
Bilgisayar biliminde, bildirimsel programlama bir programlama paradigmasıdır. —bilgisayar programlarının yapısını ve öğelerini oluşturma stili— bir hesaplamanın mantığını kontrol akışını tanımlamadan ifade eder.[1]
Bu stili uygulayan birçok dil, programın nasıl gerçekleneceğini programlama dil ilkelerinin bir dizisi olarak tanımlamak yerine programın neyi başarması gerektiğini problem alanı açısından tanımlayarak yan etkileri en aza indirmeye veya tümüyle ortadan kaldırmaya çalışır.[2] (nasıl'ı temeliyle dilin gerçeklemesine bağlıdır). Bu, algoritmaları açık adımlarla uygulayan zorunlu programlamanın tersidir.[3]
Bildirimsel programlama, genellikle, programları biçimsel mantığın teorileri ve hesaplamalar —ki bunlar, bu mantık uzayındaki çıkarımlardır— olarak kabul eder. Bildirimsel programlama, paralel programlar yazmayı büyük ölçüde basitleştirebilir.[4]
Yaygın bildirimsel diller, veritabanı sorgulama dillerini (örneğin, SQL, XQuery), düzenli ifadeleri, mantıksal programlamayı, işlevsel programlamayı ve konfigürasyon yönetim sistemlerini içerir.
- ^ Practical Advantages of Declarative Programming
- ^ "declarative language". FOLDOC. 17 Mayıs 2004. 10 Ağustos 2015 tarihinde kaynağından arşivlendi. Erişim tarihi: 26 Ocak 2020.
- ^ Concepts of programming languages. Boston: Pearson. 2016. ISBN 978-0-13-394302-3. OCLC 896687896.
- ^ "DAMP 2009: Workshop on Declarative Aspects of Multicore Programming". Cse.unsw.edu.au. 20 Ocak 2009. 23 Eylül 2008 tarihinde kaynağından arşivlendi. Erişim tarihi: 15 Ağustos 2013.