Programmazione dichiarativa
Paradigma in cui si descrive cosa si vuole, non come ottenerlo. L'opposto è quello imperativo (passo dopo passo). SQL, HTML, CSS, Prolog, Terraform e le regex sono tutti dichiarativi.
Pro: codice più breve e leggibile, con ottimizzazione affidata a compilatore o runtime. Contro: la «magia» è più difficile da debuggare e meno adatta a suggerimenti di ottimizzazione specifici. La programmazione funzionale ne è un sottoinsieme (dichiarativa e senza mutazione). Il JSX di React è pseudo-dichiarativo: si descrive l'albero della UI, React calcola le differenze e le applica. Terraform e Kubernetes usano manifesti dichiarativi. La disputa Pulumi contro Terraform è imperativo contro dichiarativo applicato all'infrastruttura.