La programmation déclarative est un paradigme de langage de programmation qui est basé sur la logique et se concentre davantage sur ce qu'un programme devrait accomplir plutôt que de détailler comment cela devrait être accompli. Cela contraste directement avec la programmation impérative, qui décrit en détail chaque étape d'une commande ou d'une fonction de programmation. Un langage de programmation déclaratif aura quelques directives sous-jacentes basées sur la logique afin que le programme puisse fonctionner, mais il ne donne pas de commandes spécifiques pour chaque étape. Au lieu de cela, il reçoit des instructions pour ce qui doit être accompli (le résultat final d'une section de code, par exemple), et le programme suit une progression logique pour terminer cette tâche.
La programmation déclarative appartient aux langages spécifiques au domaine (DSL), pas aux langages à usage général. Les langages spécifiques à un domaine ne s'appliquent qu'à un domaine particulier: HTML, par exemple, est un DSL; il s'applique uniquement au code HTML des pages Web. SQL (Structured Query Language, pour la gestion de bases de données) en est un autre. Cela permet aux programmes déclaratifs d'accomplir logiquement une tâche - parce que le programme s'applique à un domaine spécifique, il n'a pas besoin d'être particulièrement flexible ou modifiable.
Programmation déclarative vs programmation impérative
La programmation impérative s'applique aux langages comme Java et C, qui nécessitent des instructions détaillées pour chaque morceau de code. Pour que quelque chose soit changé, il doit être programmé d'une manière ou d'une autre. Cela permet aux développeurs d'apporter des modifications au programme en cas de besoin. La programmation déclarative n'est pas aussi flexible.
Cependant, la programmation déclarative est plus facile à lire et moins encombrée. Cela peut être difficile à comprendre pour les développeurs car le langage n'explique pas comment un processus a été achevé, mais c'est un paradigme utile pour les programmes qui appartiennent à un domaine spécifique qui a une logique particulière.