Paradigma de programación

Introducción

Los paradigmas de programación son un formato que define los métodos y las
herramientas que utiliza un programador para crear software. La mayoría de los
lenguajes de programación se basan en uno o más paradigmas, a los que se les puede
llamar multiparadigmas. También se mencionan varios paradigmas bien conocidos, pero
solo se hace referencia a los más importantes, ya que generalmente hay muchos otros
que no se mencionan en este estudio.

Los paradigmas del programa indican el método de hacer los cálculos y la forma en que
deben estructurarse y organizarse las tareas realizadas por el programa; los paradigmas
centrales están asociados con modelos informáticos particulares, también están
asociados con un estilo de programación particular, y los lenguajes de programación
generalmente implementan, a menudo parcialmente, múltiples paradigmas. Los
paradigmas principales se basan en diferentes modelos de computación y, por lo tanto,
ambos afectan las estructuras subyacentes. La división principal del programa es el
enfoque imperativo (mostrar cómo calcular) y el enfoque declarativo (especificar qué
calcular).

Además, el enfoque declarativo tiene varias ramas diferentes, como el paradigma

funcional, el paradigma lógico, la programación reactiva y los lenguajes descriptivos,
entre otros paradigmas que se enfocan en la estructura y organización de los programas
y son compatibles con principios básicos como: Programación estructurada, modular. . ,
programación genérica, orientada a objetos, orientada a eventos. Finalmente, los
paradigmas relacionados con el paralelismo y los sistemas de escritura Un lenguaje de
programación puede soportar diferentes paradigmas de programación para que el
programador utilice el más conveniente para resolver la tarea.

Ningún paradigma único puede resolver todos los problemas de manera fácil y eficiente,
por lo que es útil elegir entre diferentes estilos de programación según el tipo de
problema. También existen lenguajes que permiten mezclar paradigmas que en un
principio parecen incompatibles. Cabe aclarar que existen sub-paradigmas que están
contenidos dentro de paradigmas más generales, pero también existen otros que utilizan
métodos de programación completamente diferentes, y también existen lenguajes que
los combinan.

Por ejemplo, el lenguaje de Oz utiliza programación lógica, funcional, orientada a

objetos y de otro tipo. Lenguajes como Delphi, C y Visual Basic combinan paradigmas
imperativos, procedimentales y orientados a objetos. Incluso los lenguajes más puros en
sus paradigmas, como prólogo (paradigma lógico) o esquema (paradigma funcional),
tienen las estructuras repetitivas características de los lenguajes de paradigma
imperativo. Es un cómputo que consta de una serie de sentencias que se ejecutan bajo
un control de flujo explícito y que cambian el estado del programa.

Las variables son celdas de memoria que contienen datos (o punteros) que se pueden
cambiar y que representan el estado del programa. También tenemos un paradigma
declarativo que describe cómo se debe calcular sin explicar cómo. No hay un orden fijo
de evaluación, y las variables son nombres asociados a definiciones, y si se repiten, son
inmutables. Pero no hay una declaración de asignación, también el control de flujo
generalmente se asocia con técnicas de ensamblaje funcional, recursividad o reescritura
y ensamblaje. Lógicamente, podemos clasificar esos programas como basados en
supuestos y que un programa basado en estas reglas (supuestos reales) devuelve un
valor real. Usando este paradigma de programación, es muy fácil modelar un programa
basado en lógica matemática. Además, se puede escribir un código más legible y
eficiente, lo que facilita el mantenimiento del programa.

Por ejemplo, tenemos prólogo, que es un lenguaje de programación lógico, este lenguaje
se basa en hechos y reglas. Su forma de trabajar es presentar discutiendo los resultados
que deriva de las relaciones entre premisas y reglas. Por otro lado, tenemos la
programación orientada a objetos, como su nombre lo indica, se trata de construir
objetos y sus métodos para que puedan comunicarse entre sí. Este tipo de programación
se basa principalmente en el diseño de sistemas y utiliza diferentes técnicas; los más
utilizados encontramos: herencia, polimorfismo y encapsulación, un ejemplo de esto es
Java, que es un lenguaje de programación orientado a objetos, donde se pueden
encontrar muchas características de la programación orientada a objetos. Paradigmas
funcionales que entienden la computación como la evaluación de funciones matemáticas
y evitan el reporte y la manipulación de datos. En otras palabras, enfatiza la
implementación de actividades y la composición entre ellas, más que el cambio de
estados y la ejecución secuencial de instrucciones (como lo hace el paradigma del
proceso). Esto permite que ciertos problemas se resuelvan de manera elegante, y los
lenguajes funcionales puros evitan los efectos secundarios que son comunes en otros
tipos de programación. En conclusión, los paradigmas juegan un papel importante en el
mundo de la programación porque nos permiten crear enfoques para el desarrollo de
software. También estructuran nuestra programación y nos dicen cómo resolver un
problema utilizando enunciados lógicos o matemáticos. Finalmente, se pueden
comprender mejor las diversas definiciones de cada paradigma. Los lenguajes de
programación a veces pueden verse influenciados por otros paradigmas.