Cos'è la programmazione dichiarativa e quali sono i suoi esempi, come HTML e SQL?

La programmazione dichiarativa è un paradigma in cui si descrive il risultato desiderato, e non la sequenza di passaggi per raggiungerlo. Il programmatore comunica al sistema cosa fare, non come.

Esempi:

• HTML (HyperText Markup Language): È un linguaggio di markup che descrive la struttura e il contenuto di una pagina web. Si definiscono gli elementi (intestazioni, paragrafi, link), e il browser interpreta questa marcatura per visualizzarla.

  <!-- Intestazione di primo livello -->
  <h1>Ciao Mondo!</h1> 
  
  <!-- Paragrafo normale -->
  <p>Questo è un esempio di approccio dichiarativo in HTML.</p> 
  

• SQL (Structured Query Language): È un linguaggio per gestire database relazionali. Si descrivono i dati che si vogliono ottenere o modificare, e il sistema di gestione del database (DBMS) determina il modo ottimale di eseguire la query.

  -- Seleziona tutte le registrazioni dalla tabella utenti
  -- dove l'età è maggiore di 18
  SELECT * 
  FROM users 
  WHERE age > 18;
  

Differenze chiave con la programmazione imperativa (che descrive un algoritmo passo passo):

Criterio	Programmazione dichiarativa	Programmazione imperativa
Focus	Cosa fare	Come fare
Descrizione	Risultato desiderato	Sequenza di operazioni
Flessibilità	Il sistema di gestione del database/interprete determina come	Il programmatore determina come
Esempi	SQL, HTML, CSS, Prolog	Java, C++, Python (in gran parte), JavaScript