¿Qué son los paradigmas de programación y por qué recurrir a ellos?

Los desarrolladores identificaron y estructuraron enfoques para resolver problemas, los condensaron en una serie de reglas comprensibles y los llamaron paradigmas de programación. Los lenguajes de programación se diseñar con base en estas reglas. Esto quiere decir que cada lenguaje tiene su propio conjunto de paradigmas que se siguen durante el desarrollo web.

Los paradigmas de programación también se identifican como prohibiciones de determinadas acciones dentro del código del programa. Fue un método que inventó Robert Martin, un consultos de desarrollo internacional conocido entre los desarrolladores como el Tío Bob. 

Desde el punto de vista de Martin, los paradigmas son restricciones a determinadas construcciones del lenguaje que obligar el uso de un determinado estilo. Por ejemplo, la programación estructurada o procedimental prohíbe saltar a través del código del programa, mientras que la programación funcional prohíbe la modificación directa de la memoria de la computadora. 

Los paradigmas de programación definen estándares para escribir código. Al cambiar a otro idioma que corresponda a un paradigma familiar, al especialista le resultará más fácil superar la “barrera del lenguaje”. 

Los dos paradigmas principales, imperativo y declarativo, incluyen otros. Por ejemplo, el paradigma de programación imperativa incluye la programación estructurada y orientada a objetos (OOP), mientras que el paradigma declarativo incluye la programación funcional y lógica. 

El paradigma imperativo es el más simple y más comúnmente utilizado. Su principal función es la ejecución secuencial de acciones.

Decenas de lenguajes se adhieren al paradigma imperativo y tiene muchas variantes. Antes, la mayoría de los programadores escribían en lenguajes procedimentales, pero hoy en día ese tipo de programación se considera obsoleta. Se utiliza sólo si por alguna razón es imposible utilizar la programación orientada a objetos, que ocupa el nicho principal en el universo imperativo y es de los paradigmas modernos. 

El paradigma declarativo requiere que el programador responda a la pregunta “¿qué debería pasar?”, antes de “¿qué debería hacerse?”. Lo que busca la computadora es una manera de obtener el resultado requerido. 

Si utilizamos una sopa como ejemplo, es igual a decir que la forma más cómoda de hacer las cosas sería pidiéndole al ordenador que la prepare, y esperar a que lo haga todo por si solo. Pero hasta este momento las computadoras son incapaces de hacer eso, de manera que necesitamos dar una explicación. 

En la programación declarativa, si defines el resultado de manera demasiado vaga, la computadora podría realizar algo incorrecto. Por ejemplo, si en lugar de dar la descripción completa del tipo de sopa que quiere preparar, el desarrollador simplemente dijo que se necesitaba sopa, lo que la computadora hará será revisar todos los elementos existentes y mezclarlos. 

Desde el punto de vista del paradigma declarativo, esto sería un enfoque correcto, porque si la computadora en algún punto acertara al resultado que esperaba el desarrollador sólo por seleccionar una y otra vez ingredientes al azar, al final ayudó a lograr el resultado deseado; sin embargo, no es nada eficaz, porque objetivamente se desperdiciarían muchos ingredientes, tiempo y dinero. 

C, Pascal, COBOL, ALGOL, BASIC y Fortran son ejemplos de lenguajes de programación estructurada. 

La programación imperativa se desarrolló como procedimental, donde el concepto principal es función. Una función o procedimiento es una secuencia de acciones que se escriben y nombran. Por ejemplo, las instrucciones para montar un mueble o una receta de sopa son funciones. 

De modo que procedimiento y función son el mismo concepto, pero la programación estructurada y funcional son diferentes. El primero se refiere al paradigma imperativo y el segundo al declarativo. 

Pero volvamos a qué es programación estructurada. Cuando un cliente llega a un restaurante y abre la carta, cada elemento tiene una función específica. Si el cliente llama al camarero y le dice lo que quiere ordenar usando el nombre del platillo, no pensará en las acciones específicas que deberán realizar el camarero y el cocinero para entregar su platillo, pues lo que a él le importa es el resultado. 

De la misma forma, al llamar a una función —que en el ejemplo anterior sería al ordenar—, el programador no necesita pensar qué acciones específicas realizará el programa para obtener el resultado; basta con saber el nombre de la función y poder acceder a ella. 

Hubo un tiempo en que la programación procedimental hizo una revolución y desplazó a lenguajes como Assembler, pero ahora se ha retirado para dar paso a la programación orientada a objetos. 

Java, Python, C++, Ruby, C#, Objective-C y PHP son ejemplos de lenguajes de programación orientada a objetos. En este caso, los más populares son Java y Python, el primero porque utiliza más entornos web, y el segundo por su buena legibilidad y facilidad de aprendizaje. 

En el paradigma de programación orientada a objetos aparecen objetos que por sí mismos realizan funciones. Aunque en realidad, todas las acciones en una computadora las realiza el procesador, dentro del enfoque orientado a objetos, los objetos actúan como entidades que pueden realizar operaciones por sí mismas. 

La programación orientada a objetos permite a los programadores regular las conexiones entre partes del programa que son responsables de diferentes acciones. Debido a esto, el programa es más fácil de compartir entre desarrolladores, más fácil de mantener y más fácil de probar automáticamente. 

El paradigma de programación orientado a objetos es el más simple y el más rico en funciones de los paradigmas de programación modernos, lo que lo hace muy popular entre los programadores.

Haskell, Erlang, Scala, F#, OCaml, ELM y Lisp son ejemplos de lenguajes de programación funcional. 

El paradigma declarativo moderno se refiere principalmente a la programación funcional. En un enfoque funcional estricto, todas las funciones se consideran puras y no tienen efectos secundarios.

Imaginemos ahora que un cliente pide cien veces la misma sopa; el camarero le traerá cien veces el mismo platillo. El resultado de la función siempre será el mismo. Pero si esto pasara en un mismo día en el mismo restaurante, es probable que a la décima vez que el cliente ordene la sopa, al cocinero se le hayan acabado muchos de los ingredientes que lleva esa sopa. 

En un restaurante real, eso resultaría en un efecto de sustitución: en lugar de usar el 20% de un ingrediente, digamos que ahora se cambiará por el 10%, o que un ingrediente se sustituyó completamente por otro. Aunque esto crearía un efecto secundario, es decir que al modificar la receta, probablemente la sopa ya no sabrá exactamente igual para el cliente. 

En el mundo de la programación, un efecto secundario se presenta cuando algo ha cambiado en el sistema al momento de ejecutar la función, y que el usuario tal vez no sepa. La desventaja de los efectos secundarios es que son difíciles de explicar. 

En los lenguajes funcionales no hay efectos secundarios, por lo que no existe el concepto de cambiar objetos. La función no cambia el objeto antiguo, sino que devuelve uno nuevo. Es como comprar un calendario nuevo cada día en lugar de solo arrancar la página. En la mayoría de los casos, dicho desperdicio puede ser optimizado por un traductor, una aplicación que decidirá exactamente cómo ejecutar el código. 

Por ejemplo, si tienes un procesador que es demasiado específico para desarrollar un compilador de lenguaje complejo orientado a objetos, es posible que las capacidades técnicas del chip no sean suficientes para ejecutar programas escritos en lenguajes modernos. 

Todo el mundo ha utilizado programas escritos empleando el paradigma orientado a objetos. La mayoría de las aplicaciones modernas para computadoras y teléfonos inteligentes, servicios populares de Internet, televisores inteligentes y enrutadores están escritos en un lenguaje orientado a objetos. 

Hoy en día se utiliza para ello la programación declarativa en el lenguaje CSS. Se recomienda usarlo para configurar la fuente del texto, el color de fondo y el tamaño de la imagen.

Etapas son áreas donde la confiabilidad está a la vanguardia; al ser nuevas, están abiertas a tecnologías experimentales. Otros lenguajes funcionales desdibujan la línea entre matemáticas y programación, pero en el centro de esto está a correspondencia Curry-Howard, un hecho matemático que establece que un programa de lenguaje funcional y una prueba son la misma cosa. Se puede utilizar para una verificación formal, es decir, una verificación automática estricta de la corrección de los programas. 

Casi todos los paradigmas se utilizan para programas industriales de uso general; por ejemplo, editores de texto y gráficos, hojas de cálculo, aplicaciones telefónicas y servicios web. También hay los que se utilizan en lenguajes de programación destinados a tareas muy específicas, por ejemplo, los desarrolladores que utilizan el paradigma lógico para resolver ecuaciones matemáticas y el hecho de que el lenguaje Prolog puede ayudar a resolver Sudoku (porque la solución de este rompecabezas se puede formular como un conjunto de restricciones). 

Como aprendices, necesitamos sacar lo mejor de cada paradigma. Lo principal es recordar que el resultado de un programa no es solo lo que hace, sino que el código esté escrito correctamente. 

En el curso de desarrollo web de TripleTen introduce a los estudiantes a los conceptos básicos de programación, para que aprendan a escribir programas simples y complejos siguiendo ciertos paradigmas