Paradigmas de Programación – Blog sobre coding

Tabla de Contenidos

¿Qué es un paradigma de Programación?

Paradigma debe ser concebido como un conjunto de métodos, reglas y generalizaciones utilizadas conjuntamente por aquellos entrenados para realizar el trabajo científico de investigación… Los paradigmas de programación nos indican las diversas formas que, a lo largo de la evolución de los lenguajes, han sido aceptadas como estilos para programar y para resolver los problemas por medio de una computadora. [1]

Clasificación por paradigmas de programación

Existen diversas clasificaciones de paradigmas. Una de las clasificaciones es la siguiente [2]:

Paradigma Imperativo

Describe la programación como una secuencia instrucciones o comandos que cambian el estado de un programa.

Es descrito el cómo debe realizarse un cálculo y no el porqué.
Las variables son celdas de memoria que contienen datos (o referencias), pueden ser modificadas, y representan el estado del programa.
La sentencia principal es la asignación.

Paradigma Estructurado

La programación se divide en bloques (procedimientos y funciones) que pueden o no comunicarse entre sí. Además la programación se controla con secuencia, selección e iteración. Permite reutilizar código programado y otorga una mejor compresión de la programación.

Paradigma Orientado a Objetos

Está basado en la idea de encapsular estado y operaciones en objetos. En general, la programación se resuelve comunicando dichos objetos a través de mensajes (programación orientada a mensajes). Se puede incluir -aunque no formalmente- dentro de este paradigma, el paradigma basado en objetos, que además posee herencia y subtipos entre objetos. Ej.:
Simula, Smalltalk, C++, Java, C# .NET
Su principal ventaja es la reutilización de códigos y su facilidad para pensar soluciones a determinados problemas.

Paradigma Declarativo

No se basa en el cómo se hace algo (cómo se logra un objetivo paso a paso), sino que describe (declara) cómo es algo. En otras palabras, se enfoca en describir las propiedades de la solución buscada, dejando indeterminado el algoritmo (conjunto de instrucciones) usado para encontrar esa solución. La solución es hallada mediante mecanismos internos de inferencia de información a partir de la descripción del problema en sí [3].

Paradigma Funcional

Este paradigma concibe a la computación como la evaluación de funciones matemáticas y evita declarar y cambiar datos. En otras palabras, hace hincapié en la aplicación de las funciones y composición entre ellas, más que en los cambios de estados y la ejecución secuencial de comandos (como lo hace el paradigma procedimental). Permite resolver ciertos problemas de forma elegante y los lenguajes puramente funcionales evitan los efectos secundarios comunes en otro tipo de programaciones. Ej.: Haskell, Lisp, Scala.

El uso de este paradigma se da principalmente en las telecomunicaciones, donde la tolerancia de fallos es un factor importante. Por ejemplo Whatsapp, utiliza Erlang como su lenguaje para el backend, debido a su escalabilidad.

Paradigma Lógico

Se basa en la definición de reglas lógicas para luego, a través de un motor de inferencias lógicas, responder preguntas planteadas al sistema y así resolver los problemas. Ej.: prolog.

Otros paradigmas

Otros paradigmas y subparadigmas son: paradigma orientado al sujeto, paradigma reflectante, programación basada en reglas, paradigma basado en restricciones, programación basada en prototipos, paradigma orientado a aspectos, etc.