Paradigmas de programación
Imperativo
La programación imperativa (del latín imperare = ordenar) es el paradigma de
programación más antiguo. De acuerdo con este paradigma, un programa consiste
en una secuencia claramente definida de instrucciones para un ordenador.
Los lenguajes de programación imperativos son muy concretos y trabajan cerca
del sistema. De esta forma, el código es, por un lado, fácilmente comprensible,
pero, por el otro, requiere muchas líneas de texto fuente para describir lo que en
los lenguajes de la programación declarativa se consigue con solo una parte de
las instrucciones.
Los distintos lenguajes de programación imperativa pueden clasificarse a su vez
en tres estilos distintos de programación subordinados: el estructurado, el
procedimental y el modular.
El estilo estructurado de programación amplía el principio imperativo central con
las estructuras concretas de control: secuencias, selección e iteración. Esto se
hace para mitigar o evitar por completo las instrucciones de salto que añaden una
complejidad innecesaria al código imperativo.
El enfoque procedimental divide las tareas de las que se debe ocupar un
programa en tareas parciales más pequeñas que se describen en el código por
separado. De esta forma, se crean principios básicos de programación que
también se pueden reutilizar en otros programas.
Los distintos lenguajes de programación imperativa pueden clasificarse a su vez
en tres estilos distintos de programación subordinados: el estructurado, el
procedimental y el modular.
El estilo estructurado de programación amplía el principio imperativo central con
las estructuras concretas de control: secuencias, selección e iteración. Esto se
hace para mitigar o evitar por completo las instrucciones de salto que añaden una
complejidad innecesaria al código imperativo.
El enfoque procedimental divide las tareas de las que se debe ocupar un
programa en tareas parciales más pequeñas que se describen en el código por
separado. De esta forma, se crean principios básicos de programación que
también se pueden reutilizar en otros programas.
Estructurado
La programación estructurada es una teoría orientada a mejorar la claridad,
calidad y tiempo de desarrollo utilizando únicamente subrutinas o funciones.
Basada en el teorema del programa estructurado propuesto por Böhm y Jacopini,
ha permitido desarrollar software de fácil comprensión. La programación brinda las
herramientas para desarrollar aplicaciones y sistemas que pueden resolver
problemas sociales, mejorando la vida de las personas y el entorno.
El paradigma estructurado se utiliza para organizar un programa en módulos o
funciones más pequeñas y estructuradas. Su objetivo principal es mejorar la
claridad, la legibilidad y la mantenibilidad del código, dividiéndolo en partes más
manejables y reutilizables.
· Orientado a Objetos POO
La programación orientada a objetos (POO) es un paradigma de programación
que utiliza objetos y sus interacciones para diseñar aplicaciones y programas de
computadora. Los objetos son entidades que contienen datos y comportamiento, y
pueden interactuar entre sí para realizar tareas.
Los paradigmas de POO se basan en los siguientes principios:
Encapsulación: Los datos y el comportamiento de un objeto se agrupan en una
sola unidad, lo que facilita su gestión y mantenimiento.
Abstracción: Los objetos se pueden abstraer de sus detalles de implementación, lo
que permite a los programadores centrarse en la funcionalidad que proporcionan.
Herencia: Los objetos pueden heredar las propiedades y el comportamiento de
otros objetos, lo que facilita la creación de nuevas clases de objetos.
Polimorfismo: Los objetos pueden responder a diferentes mensajes de diferentes
maneras, lo que permite a los programadores escribir código más flexible y
reutilizable.
Declarativo
El paradigma declarativo en la programación se centra en describir el resultado
deseado, en lugar de especificar los pasos para alcanzar ese resultado. Se basa
en declarar lo que se quiere lograr, dejando que el sistema determine cómo
hacerlo. Los ejemplos incluyen:
SQL (Structured Query Language): En SQL, declaras qué datos deseas recuperar
o manipular, y la base de datos determina la mejor manera de ejecutar la consulta.
Prolog: Un lenguaje de programación lógica en el que defines relaciones y hechos,
y luego haces consultas sobre esas relaciones para obtener respuestas.
HTML (HyperText Markup Language): En HTML, defines la estructura y el
contenido de una página web, pero no especificas cómo se debe renderizar
exactamente en el navegador.
CSS (Cascading Style Sheets): En CSS, declaras cómo deberían lucir los
elementos HTML, pero no describes los pasos específicos para lograr ese estilo.
· Funcional
. El paradigma de la programación funcional nos presenta una nueva forma de
programar de manera declarativa, por la cual esto se parecerá más a escribir
donde su premisa principal es que el código sea más intuitivo que nunca.
Entendemos por programación funcional un lenguaje de programación declarativo
donde el programador especifica lo que quiere hacer, en lugar de lidiar con el
estado de los objetos. Es decir, las funciones estarían en un primer lugar y nos
centraremos en expresiones que pueden ser asignadas a cualquier variable.
¿Todo esto qué significa? Al escribir el código de forma declarativa, se busca que
no juegue con los objetos y sea más legible. Lo normal sería que un desarrollador
tuviera que hacer un bucle, iterando y crear una lógica pero, con el lenguaje
funcional, este te da funciones que hace que se parezca más a leer y escribir que
a programar.
· Lógico
Paradigma de programación basado en la lógica de primer orden. La
programación lógica estudia el uso de la lógica para el planteamiento de
problemas y el control sobre las reglas de inferencia para alcanzar la solución
automática.
La programación lógica, junto con la funcional, forma parte de lo que se conoce
como Programación Declarativa, es decir la programación consiste en indicar
como resolver un problema mediante sentencias, en la Programación Lógica, se
trabaja en una forma descriptiva, estableciendo relaciones entre entidades,
indicando no como, sino que hacer, entonces se dice que la idea esencial de la
programación lógica es
Uno de los precursores de la lógica matemática y, en consecuencia, de la
programación lógica fue Aristóteles (384-322 a.C.) con su teoría silogística. Esta
teoría estudia una clase particular de implicaciones con dos premisas y una
conclusión. También fue tratada por los filósofos contemporáneos a Aristóteles y
largamente estudiada en siglos posteriores, aunque no se produjeron
innovaciones de interés hasta el siglo XVII con los trabajos de René Descartes y
Gottfried Leibnitz.
Dos siglos después el matemático y lógico británico George Boole (1815-1864) dio
un paso importante en el sistema de razonamiento aristotélico poniendo en
relación la lógica y el álgebra. Los trabajos de Boole fueron modificados y
ampliados mas tarde por otros matemáticos y lógicos como Jevon, Pierce,
Schroeder y Huntington, entre otros.
Llegamos así a finales del siglo XIX y principios del XX con la revolución de la
fundamentacion de las Matemáticas gracias a los trabajos de Frege, Cantor,
Peano, Russell, Whitehead, entre otros, que marcan el periodo más apasionante y
de mayor actividad en la historia de la lógica matemática.
