Pemrograman deklaratif

Dalam ilmu komputer, pemrograman deklaratif adalah paradigma pemrograman—gaya membangun struktur dan elemen program komputer—yang mengekspresikan logika komputasi tanpa menjelaskan aliran kontrolnya.

Banyak bahasa yang menerapkan gaya ini mencoba untuk meminimalkan atau menghilangkan efek samping dengan menjelaskan apa yang harus dicapai program dalam hal domain masalah, daripada menjelaskan bagaimana mencapainya sebagai urutan primitif bahasa pemrograman (bagaimana dibiarkan hingga implementasi bahasa). Ini berbeda dengan pemrograman imperatif, yang mengimplementasikan algoritma dalam langkah-langkah eksplisit.

Pemrograman deklaratif sering menganggap program sebagai teori logika formal, dan perhitungan sebagai deduksi dalam ruang logika itu. Pemrograman deklaratif dapat sangat menyederhanakan penulisan program paralel.

Pranala luar

• Frans Coenen. Characteristics of declarative programming languages. 1999.
• Robert Harper.
  • What, If Anything, Is A Declarative Language?. 2013.
  • There Is Such A Thing As A Declarative Language, and It’s The World’s Best DSL. 2013.
• Olof Torgersson. A Note on Declarative Programming Paradigms and the Future of Definitional Programming. 1996.

Sumber dan atribusi

Konten artikel ini diadaptasi dari Wikipedia bahasa Indonesia, revisi 28059272 (2025-10-17T09:06:51Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.