Los Paradigmas de la Programación
¿Qué es un paradigma de programación?
Un paradigma de programación es un conjunto de métodos sistemáticos aplicables en el diseño de programas, basados en un modelo de definición y operación de la información.
Los paradigmas de programación se diferencian entre sí por los conceptos, abstracciones y pasos que usan para representar los elementos de un programa.
Paradigmas fundamentales
- Imperativo: Basado en una secuencia de instrucciones. Describe la programación en términos del estado del programa y las sentencias que cambian dicho estado. A estos cambios de estado se los considera efectos secundarios.
- Declarativo: Expresa la lógica de la computación, sin describir su flujo de control. Está basado en el desarrollo de programas especificando o declarando un conjunto de condiciones, proposiciones, afirmaciones, restricciones, ecuaciones o transformaciones que describen el problema y detallan su solución. No permite efectos secundarios.
El paradigma imperativo
La implementación de hardware de la mayoría de las computadoras es imperativa. Prácticamente todo el hardware está diseñado para ejecutar código máquina, que es el lenguaje nativo de la computadora, y está escrito en forma imperativa.
Desde esta perspectiva de bajo nivel, el estilo del programa está definido por los contenidos de la memoria, y las sentencias son instrucciones en el lenguaje de máquina nativo de la computadora, o por sus equivalencias en lenguaje ensamblador.
A partir del paradigma imperativo, evolucionaron los siguientes paradigmas:
- Estructurado: Consiste en el uso de estructuras jerárquicas de flujo con el fin de mejorar la claridad de los programas y reducir el tiempo de desarrollo.
- Modular: Consiste en dividir un programa en módulos o subprogramas con el fin de hacerlo más legible y manejable.
Actualmente, el paradigma de programación dominante en la industria del desarrollo de software es el orientado a objetos, que podría considerarse una evolución de los paradigmas anteriormente mencionados. En la orientación a objetos, los datos se incluyen con los métodos que los usan en entidades denominadas objetos, que son instancias de una clase, la cual está compuesta de datos y los métodos correspondientes para acceder a ellos y manipularlos (cambios de estado).
El paradigma declarativo
La programación declarativa es lo opuesto a la programación imperativa. Un programa declarativo es aquel que describe lo que se debe realizar y no la forma de realizarlo.
Los lenguajes declarativos no basan su funcionamiento en efectos secundarios, y tienen una clara correspondencia con la lógica matemática.
El término “programación declarativa” es en realidad un término general que engloba una serie de paradigmas de programación más conocidos:
- Funcional: Basado en la evaluación de funciones matemáticas.
- Lógico: Basado en el uso de sentencias lógicas para representar y evaluar programas.