Los paradigmas de programación son varios enfoques y técnicas fundamentales para la programación de software. Éstos incluyen también programación funcional o orientada a objetos. Un paradigma de programación describe el estilo básico en el que se diseña un programa. Dicta qué principios se aplican y qué enfoques se utilizan.
La mayoría de los lenguajes de programación pueden trabajar con diferentes paradigmas de programación en paralelo. Por lo tanto, no es absolutamente necesario que los programadores se ciñan a un paradigma de programación y lo sigan en todo el código.
En cambio, se puede decidir caso por caso qué enfoque es la mejor opción. Los paradigmas de programación se pueden asignar inicialmente a dos grupos de nivel superior: programación imperativa y programación declarativa.
Programación imperativa
Este paradigma de programación dicta que un programa es una secuencia de instrucciones. Con estos paradigmas, el código del programa, por tanto, especifica una secuencia de comandos y de esta manera le dice a la computadora en qué orden qué operaciones deben ejecutarse para lograr el resultado esperado.
El programador dispone de una amplia variedad de estructuras de control (por ejemplo, lazos) para diseñar estos comandos. La programación imperativa existe desde el inicio de la programación y las formas por ejemplo, también la base de Ada, el clásico BASIC, COBOL o Pascal. También C y muchos lenguajes orientados a objetos como C ++, C # y Java están diseñados para programación imperativa.
Si un programa, por ejemplo, todos los números impares van a salir de una lista, el programador tendría que especificar con precisión que la lista debe recorrer en bucle para verificar cada entrada individual y procesarla en consecuencia.
Ejemplos de paradigmas de programación subordinados:
- programación estructurada
- programación procedimental
- programación orientada a objetos
- programación modular
Programación declarativa en paradigma de programación
Este paradigma general de programación es, en cierto modo, el contraproyecto de la programación imperativa. En lugar de una secuencia de instrucciones, es decir, el cómo, en la programación declarativa la atención se centra en el qué: ¿cuál es el problema o cuál debería ser el resultado?
La solución en sí no se da paso a paso. Un programa podría, por ejemplo, examinar una gran cantidad de datos y devolver todos los elementos que no corresponden al esquema XY predefinido. En ese caso, un programador definiría el esquema deseado, pero no formularía con precisión el proceso de verificación.
Ejemplos de lenguajes de programación diseñados para programación declarativa son Haskell, LISP y Prolog. Pero también se incluyen lenguajes de consulta de bases de datos como SQL o herramientas de construcción como make y Ant. SQL es un buen ejemplo del hecho de que los límites son fluidos, ya que aquí también se pueden encontrar influencias orientadas a objetos, por ejemplo.
Ejemplos de paradigmas de programación subordinados:
- programación lógica
- Programación de restricciones
- programación funcional