Los paradigmas de programación son una forma de clasificar los lenguajes de programación en función de sus características.
Algunos paradigmas se ocupan principalmente de las implicaciones para el modelo de ejecución del lenguaje, como permitir efectos secundarios o si la secuencia de operaciones está definida por el modelo de ejecución.