¿Qué diablos son los paradigmas de programación?

Comencemos por las palabras separadas, la palabra paradigma significa: ejemplo o modelo de algo, es decir, un paradigma es una base con la cual puedes partir para obtener una respuesta a algo.

Comencemos por las palabras separadas, la palabra paradigma significa: ejemplo o modelo de algo, es decir, un paradigma es una base con la cual puedes partir para obtener una respuesta a algo.

Ahora, combinándolo con el concepto de programación tenemos que un paradigma de programación es un modelo para crear programación, y ¿Qué es lo que hace la programación? Pues resolver problemas, creando soluciones.

Entonces tenemos que un paradigma de programación son modelos para partir en la creación de estas soluciones, y aquí es donde, ya entendiendo lo que es un paradigma, ya podemos entender lo siguiente: en la programación hay distintos modelos con los cuales podemos llegar a crear soluciones, por ejemplo tenemos el paradigma funcional, el paradigma orientado a objetos, el paradigma lógico y algunos otros más, y aquí vamos a darle una revisión a algunos.

Paradigma orientado a objetos

Este paradigma se centra en caracterizar el universo en el que vivimos, si observamos nuestro entorno, todo está compuesto por objetos, objetos que interactúan con otros objetos, objetos que son parte de otros objetos, todo es un objeto, pero para diferenciar un objeto de otro tenemos propiedades y acciones que hacen estos objetos.

Por ejemplo, sabemos que una cerveza es una cerveza porque tiene ciertas características y propósito: es líquido, tiene alcohol, tiene un porcentaje de malta, lúpulo y algunas otras cosas, estas cosas las llamaremos atributos o propiedades, y juntas hacen que una cerveza sea un objeto el cual podemos identificar por las mismas propiedades.

Pero una cerveza no solo tiene propiedades, también tiene un propósito o funcionalidad, y su funcionalidad es que se puede beber, y aquí lo bonito del ejemplo ¿Quién se bebe la cerveza? Pues un humano como yo, que viene siendo otro objeto con sus características y funcionalidades propias.

En este paradigma nos basamos en el mundo real para representar la problemática a resolver, como estos objetos interaccionan unos con otro, y gracias al concepto de Clase podemos crear estos objetos.

La clase en este paradigma es un molde que sirve para crear los objetos, como el molde para crear un auto por ejemplo, un molde que sabe que debe tener puertas, llantas, motor, ventanas y un proceso secuencial para crearlo, eso es una clase.

Este paradigma tiene más características de las cuales hablare en una entrada propia para adentrarnos de lleno.

Si deseas aprender programación orientada a objetos te recomiendo esta lista de videos.

Paradigma funcional

Cuando escuchamos hablar de este paradigma, creemos que es algo nuevo, que es el siguiente paso de la programación, y bueno, en realidad este paradigma es mucho más viejo que el paradigma orientado a objetos.

Este paradigma se basa en el concepto matemático de cálculo lambda, un sistema formal que fue creado en la década de 1930 gracias a Alonzo Church, este paradigma se basa en funciones que invocan otras funciones las cuales invocan a otras funciones.

Con funciones podemos hacer lo mismo que con la programación imperativa (programación que se basa en cómo hacerlo), en este paradigma nos preocupamos más en el ¿Qué vamos a hacer?, una forma de resolver los problemas de manera más humana.

Hay que resaltar que el paradigma funcional puede convivir con el paradigma orientado a objetos, es algo que estamos viendo últimamente en los lenguajes de programación más utilizados, pero también el paradigma funcional no solo es la creación de funciones, sino también llevar ciertas prácticas para cumplir con este objetivo

No me adentrare mucho, solo te mencionare que una función en este paradigma debería siempre regresar el mismo resultado si siempre es invocado con los mismos parámetros, por ejemplo una función suma que recibe 1 y 2 siempre debe devolver 3, y no depender de efectos colaterales, esto nos ayuda a que podamos remplazar suma por otra función que haga lo mismo sin que afecte a otras partes de nuestro sistema.

Si quieres darte una idea de este paradigma ya a nivel práctico te recomiendo este video.

Paradigma lógico

El paradigma funciona y el paradigma lógico son parte de la programación declarativa, aquella que se centra en que vamos a hacer, y no el cómo vamos a hacerlo.

El paradigma lógico se centra en el concepto de lógica matemática, todo son predicados y hechos.

Teniendo una base de hechos como “Todos los que toman cerveza son borrachos” y consultando ¿Quiénes son borrachos? Este paradigma nos regresaría “Todos los que toman cerveza”.

Este paradigma resulta útil en sistemas expertos gracias a su naturalidad de hechos y predicados, imaginar lo siguiente, cuando uno va al doctor, va con un experto en una rama, este experto tiene una base de hechos en su experiencia, y dependiendo de nuestras preguntas el utilizara sus predicados para darnos una respuesta, tal cual funciona este paradigma.

También es utilizado para el reconocimiento del lenguaje natural y demostración de teoremas.

En este video te explico el lenguaje lógico prolog por si deseas darte una idea de a que va este paradigma.

Paradigma reactivo

Este paradigma es lo de moda de hoy en día, pero en realidad tiene ya sus años de existir.

El paradigma reactivo se centra en los flujos de datos y como entrelazarlo con objetos.

Por ejemplo, todos hemos utilizado Excel, sabemos que Excel se compone de celdas (los observadores), y sabemos que en Excel podemos hacer formulas, como una fórmula que sume un conjunto de celdas, la celda donde aparecerá el total será un observador de algo, este algo es la sumatoria de el conjunto de celdas que representan la suma, por lo cual si una de las celdas dentro de la formula tiene un cambio, la celda que observadora representara este cambio de manera automática, esto es el paradigma reactivo.

Tenemos muchas ventajas con este paradigma que se basa en un conjunto de patrones de diseño, sobre todo en el patrón observador, el cual es muy sencillo de explicar: teniendo un sujeto, siendo el sujeto cualquier cosa que tenga información, existirá una colección de observadores interesados cada que cambie el sujeto sus valores, estos observadores estarán a la espera de cuando el sujeto cambie algo y serán notificados de ese cambio, cada sujeto sabrá que hacer dependiendo ese cambio, esto en pocas palabras es el patrón observador.

En el siguiente video te muestro como puedes programar el patrón observador en javascript

Conclusión

Como te diste cuenta hay distintas formas de crear programación (hay más paradigmas no mencionados), y un punto que quiero plantear aquí, es que con cualquiera de las formas anteriores mencionadas puedes llegar al mismo resultado, la diferencia radica que unas serán mas aptas que otras para cierta problemática.

Los paradigmas no son enemigos, últimamente los lenguajes de programación más utilizados son multiparadigma, esto con el propósito de darnos flexibilidad de poder trabajar con un estilo de programación dependiendo la circunstancia.

Así que ya sabes que es un paradigma, y espero esta entrada te haya dado su propósito, gracias por llegar hasta aquí.

Te dejo una charla que tuve con Nicolás Schürmann  del canal HolaMundo sobre paradigmas de programación.

Autor: Héctor de León

Desarrollador de software, lector compulsivo.