O que é a programação declarativa? (What is declarative programming?)

Em Português:

A programação declarativa é um paradigma de programação que expressa a lógica de um cálculo sem descrever seu fluxo de controle. É um estilo de construção da estrutura e elementos de programas de computador que descreve o que o programa deve realizar em termos do domínio do problema, em vez de descrever como realizá-lo.

Isso contrasta com a programação imperativa, que implementa algoritmos em etapas explícitas. A programação declarativa muitas vezes considera programas como teorias de uma lógica formal, e cálculos como deduções nesse espaço lógico.

As linguagens declarativas comuns incluem aquelas de linguagens de consulta de banco de dados (por exemplo, SQL, XQuery), expressões regulares, programação lógica (por exemplo, Prolog, Datalog, programação de conjunto de respostas), programação funcional, gerenciamento de configuração e sistemas de modelagem algébrica.

Em resumo, a programação declarativa é quando você escreve seu código de tal maneira que descreve o que você quer fazer, e não como você quer fazer. Cabe ao compilador descobrir o como.

In English:

Declarative programming is a programming paradigm that expresses the logic of a computation without describing its control flow. It’s a style of building the structure and elements of computer programs that describes what the program must accomplish in terms of the problem domain, rather than describing how to accomplish it.

This is in contrast with imperative programming, which implements algorithms in explicit steps. Declarative programming often considers programs as theories of a formal logic, and computations as deductions in that logic space.

Common declarative languages include those of database query languages (e.g., SQL, XQuery), regular expressions, logic programming (e.g. Prolog, Datalog, answer set programming), functional programming, configuration management, and algebraic modeling systems.

In a nutshell, declarative programming is when you write your code in such a way that it describes what you want to do, and not how you want to do it. It is left up to the compiler to figure out the how.

References:

[1]M. Zetlow, “Imperative vs Declarative Programming – the Difference Explained in Plain English,” freeCodeCamp.org, Oct. 08, 2020. [Online]. Available: https://www.freecodecamp.org/news/imperative-vs-declarative-programming-difference/

[2]“What is declarative programming?,” Stack Overflow. [Online]. Available: https://stackoverflow.com/questions/129628/what-is-declarative-programming

[3]“Declarative programming,” Wikipedia, Feb. 29, 2024. [Online]. Available: https://en.wikipedia.org/wiki/Declarative_programming