Paradigmas

Existen muchos paradigmas de programación diferentes, cada uno de ellos tiene sus propias características y tratan de solucionar los problemas clásicos del desarrollo de software desde diferentes perspectivas y filosofías. Hoy vamos a ver algunas diferencias entre paradigmas de programación populares. Los paradigmas de programación solo son propuestas tecnológicas adoptadas por la Comunidad dedesarrolladores que se enfocan a resolver uno o varios problemas definidos y delimitados. Existen muchos paradigmas de programación diferentes, posiblemente el más ampliamente utilizado hoy en día sea el de la programación orientada a objetos.

Introducción
Algunos lenguajes de programación puede soportar múltiples paradigmas de programación. Por ejemplo, C++ puede ser empleado para desarrollarsoftware utilizando para ello un modelo de programación puramente orientado a objetos o bien puramente estructurado. En casos como el de C++, somos los programadores los que decidimos que utilizar. Por otro lado, algunos lenguajes han sido diseñados para soportar un único paradigma de programación, ese es el caso de Smalltalk que soporta únicamente la programación orientada a objetos o Haskell quesolo soporta la programación funcional. Algunos paradigmas prohiben el uso de ciertos mecanismos o técnicas. Por ejemplo, en la programación funcional se elimina el uso del efecto secundario en las funciones mientras que en la programación estructurada se desaprueba o incluso elimina el uso de la sentencia goto. Es realmente común el diseño de lenguajes que soporten múltiples paradigmas deprogramación. Estos lenguajes son aquellos que soportan al menos dos paradigmas. Dentro de esta categoría podemos encontrar nuevas caras y viejos conocidos:
       

Scala: Imperativo, orientado a objetos, funcional, genérico y concurrente Erlang: Funcional, concurrente y distribuido Perl: Imperativo, orientado a objetos y funcional PHP: Imperativo, orientado a objetos, funcional y reflexivoJavaScript: Imperativo, orientado a objetos (prototipos) y funcional Java: Imperativo, orientado a objetos, reflexivo y genérico Python y Ruby: Imperativo, orientado a objetos, reflexivo y funcional C++: Imperativo, orientado a objetos, funcional y genérico



C#: Imperativo, orientado a objetos, funcional (lambda), reflexivo y genérico

Estos son algunos ejemplos, existen lenguajes como Ozque soporta nueve paradigmas de programación, para algunos es un acierto y para otros un error. En cualquier caso en este artículo no vamos a argumentar si soportar uno, dos, seis o diez paradigmas es un acierto o no, eso lo dejamos a decisión de cada cual.

Programación Imperativa
En la programación imperativa se describen sentencias que modifican el estado de un programa. En muchos sentidosla programación imperativa es la programación natural para las CPUs que se basan en ese paradigma al nivel más básico. En este paradigma se expresa como debe solucionarse un problema especificando una secuencia de acciones a realizar a través de uno o más procedimientos denominados subrutinas o funciones. Dentro de esta categoría se engloban la programación estructurada que restringe el uso de lainstrucción goto, la programación modular y la programación orientada a objetos. Cada una de estas extensiones o evoluciones han permitido mejorar la mantenibilidad y la calidad de los programas imperativos.

Programación Declarativa
A la programación imperativa se le contrapone la programación declarativa en la que se describe la lógica de computación necesaria para resolver un problema sindescribir un flujo de control de ningún tipo. Efectivamente, en la programación declarativa no es necesario definir algoritmos puesto que se detalla la solución del problema en lugar de como llegar a esa solución. En la programación declarativa, la solución es alcanzada a través de mecanismos internos de control pero no se especifica exactamente como llegar a ella. Las variables son utilizadas con...