Paradigmas de programacion

Existe una infinidad de definiciones de lo que es un paradigma. Un paradigma

es un determinado marco desde el cual miramos el mundo, lo comprendemos,
lo interpretamos e intervenimos sobre l. Abarca desde el conjunto de
conocimientos cientficos que imperan en una poca determinada hasta las
formas de pensar y de sentir de la gente en un determinado lugar y momento
Histrico.
Adam Smith define paradigma, en su libro Los poderes de la mente, como
un conjunto compartido de suposiciones. Es la manera como percibimos el
mundo: agua para el pez. El paradigma nos explica el mundo y nos ayuda a
Predecir su comportamiento".
En nuestro contexto, el paradigma debe ser concebido como una forma
aceptada de resolver un problema en la ciencia, que ms tarde es utilizada
como modelo para la investigacin y la formacin de una teora. Tambin, el
paradigma debe ser concebido como un conjunto de mtodos, reglas y
generalizaciones utilizadas conjuntamente por aquellos entrenados para realizar
el trabajo cientfico de investigacin.
En nuestro contexto, los paradigmas de programacin nos indican las
diversas formas que, a lo largo de la evolucin de los lenguajes, han
sido aceptadas como estilos para programar y para resolver los
problemas por medio de una computadora.




Ejemplos de paradigmas
Paradigmas Imperativo: Modelo abstracto que consiste en un gran almacenamiento de memoria
donde la computadora almacena una representacin codificada de un clculo y ejecuta una
secuencia de comandos que modifican el contenido de ese almacenamiento. Algoritmos +
Estructura de Datos = Programa.

2. Paradigmas Procedimentales:
Modelos de Desarrollo: Orientado a Objetos, a Eventos, y a Agentes. Secuencia computacional
realizada etapa a etapa para resolver el problema. Su mayor dificultad reside en determinar si el
valor computado es una solucin correcta del problema.

3. Paradigmas Declarativos. - Modelos de Desarrollo: Funcional, Lgico y de Flujo de Datos. Se
construye sealando hechos, reglas, restricciones, ecuaciones, transformaciones y otras
propiedades derivados del conjunto de valores que configuran la solucin.



4 Paradigmas Demostrativos.- Modelos de Desarrollo: Gentico. Cuando se programa bajo un
paradigma demostrativo (tambin llamada programacin por ejemplos), el programador no
especifica procedimentalmente cmo construir una solucin sino que presentan soluciones de
problemas similares.

5. Paradigmas Funcional: Modelo matemtico de composicin funcional donde el resultado de un
clculo es la entrada del siguiente, y as sucesivamente hasta que una composicin produce el
valor deseado.

6. Paradigma Orientado a Objeto: disciplina de ingeniera de desarrollo y modelado de software
que permite construir ms fcilmente sistemas complejos a partir de componentes individuales.
Objetos + Mensajes = Programa.













Lenguajes a los que se puede aplicar
Estos lenguajes son aquellos que soportan al menos dos paradigmas. Dentro de esta
categora podemos encontrar nuevas caras y viejos conocidos:
Scala: Imperativo, orientado a objetos, funcional, genrico y concurrente
Erlang: Funcional, concurrente y distribuido
Perl: Imperativo, orientado a objetos y funcional
PHP: Imperativo, orientado a objetos, funcional y reflexivo
JavaScript: Imperativo, orientado a objetos (prototipos) y funcional
Java: Imperativo, orientado a objetos, reflexivo y genrico
Python y Ruby: Imperativo, orientado a objetos, reflexivo y funcional
C++: Imperativo, orientado a objetos, funcional y genrico
C#: Imperativo, orientado a objetos, funcional (lambda), reflexivo y genrico