In informatica, un paradigma di programmazione è un insieme di strumenti concettuali per la modellazione di algoritmi, determinanti quindi il modo in cui il programmatore progetta, implementa e interpreta i programmi corrispondenti.
Diversi paradigmi si differenziano per i concetti e le astrazioni usate per rappresentare gli elementi di un programma (come ad esempio le funzioni, gli oggetti, le variabili, vincoli, ecc.) e per i procedimenti usati per l'esecuzione delle procedure di elaborazione dei dati (assegnazione, calcolo, iterazione, data flow, ecc.).