Paradigmas De Programacion

Introducción

En este trabajo hablaremos acerca de los paradigmas de programación, ya que mucha gente conoce algunos tipos de lenguajes de programación pero muy poca conoce estos paradigmas.

Antes que nada daremos una definición de lo que es un paradigma (son simplemente patrones o modelos para realizar un programa).

Y continuación presentando cinco de los tipos de paradigmas de programación más relevantes (Imperativo, Funcional, Lógico, Orientado a objetos y Estructurado) y daremos a conocer de que se trata cada uno de ellos, así como en que se pueden aplicar cada uno de los paradigmas y algunas de sus ventajas y desventajas.

Con este proyecto pretendemos tener el propósito de que sea un primer acercamiento al tema que pueda ser claro, y fácil de entender

PARADIGMAS DE PROGRAMACIÓN

Un paradigma de programación es una propuesta tecnológica que es adoptada por una comunidad de programadores cuyo núcleo central es incuestionable en cuanto a que unívocamente trata de resolver uno o varios problemas claramente delimitados. La resolución de estos problemas debe suponer consecuentemente un avance significativo en al menos un parámetro que afecte a la ingeniería de software. Tiene una estrecha relación con la formalización de determinados lenguajes en su momento de definición. Un paradigma de programación está delimitado en el tiempo en cuanto a aceptación y uso ya que nuevos paradigmas aportan nuevas o mejores soluciones que la sustituyen parcial o totalmente.

Entonces un paradigma de programación son simplemente patrones o modelos para realizar un programa, pero estos modelos no han sido reemplazados sino que cada patrón es aplicable en deferentes niveles o tipos de programación.

Los tipos de paradigmas de programación más comunes son:

a) Imperativo

b) Estructurado

c) Funcional

d) Lógico

e) Orientado a Objetos

IMPERATIVO

Este paradigma, llamado también paradigma algorítmico:

 Encuentra soluciones a problemas basándose en la operativa de la máquina de VON NEWMAN, que está provista de un programa en su memoria, el cual se va ejecutando secuencialmente, alimentándose de datos de tal memoria, con los que efectúa sus cálculos, para luego actualizar esta memoria.

 La programación en el entorno del paradigma imperativo determina los datos que son requeridos para el cálculo, asocia a esos datos a variables que son direcciones de memoria, para luego efectuar paso a paso, las transformaciones de los datos almacenados, de forma que el valor final de la variable sea el resultado buscado.

En el lenguaje común, a la serie de transformaciones realizadas sobre los datos originales les llamamos cálculos, que son generados por los algoritmos que transforman los datos de entrada en la solución al problema en cuestión.

Para guiar estos cálculos, el paradigma imperativo proporciona en su versión básica las siguientes estructuras de control de flujos de datos:

 Secuencial: Típica de la propia naturaleza de la máquina, donde se ejecutan una a continuación de otra cada una de las instrucciones del programa almacenado en su memoria.

 Selección condicional: Produce una bifurcación del flujo de datos, cuando se cumple cierta condición previamente definida, caso contrario, seguiría el curso secuencial del programa.

 Selección incondicional: Bifurca imperativamente la estructura secuencial del flujo de datos, obligando a ejecutar una instrucción distinta a la siguiente en el orden especificado por el programador.

Estas estructuras básicas existen en cualquier programa construido bajo el paradigma imperativo, cuya evolución ha generado otros nuevos tipos de estructuras de control de flujo, tales como while, do, if..then..else, etc que simplifican la tarea del programador.

Además, la naturaleza primaria de las celdas de memoria ha sido sustituida progresivamente por abstracciones como las variables, registros, array y otros tipos de datos complejos que simplifican el diseño de los algoritmos del programa.

Independiente de tales modificaciones, el rasgo característico del paradigma imperativo es la presencia de efectos laterales, porque maneja el concepto de celda de memoria o las abstracciones surgidas sobre él, donde los cálculos intermedios siempre modificaran tales celdas, variables o estructuras de datos que representan el estado actual del problema en la computadora.

Por otra parte, la existencia de estructuras de control es inevitable ya que la implementación de un algoritmo implica la existencia de una serie de pasos precisos, en forma de secuencias de instrucciones, bifurcaciones, repeticiones definidos por el programador.

En este ámbito, un error en la secuencia será un error lógico que implicará un resultado erróneo, y un error en la asignación de un valor a una variable implicará un error de cálculo que distorsionará los cálculos subsiguientes.

El paradigma imperativo tiene su límite natural en dos de sus características intrínsecas:

 Efectos laterales: La existencia de estos efectos por una aparte, hacen que los programas no sean seguros puesto que cualquier posición de memoria puede ser actualizada de forma no adecuada, y otra parte, el concepto de una única memoria global actualizada de forma repetida por las instrucciones del programa dificulta la portabilidad y reusabilidad de código. Por tal razón, para minimizar los problemas por la existencia de variables en memoria compartida aparece el paradigma funcional, donde la ausencia de efectos laterales es su rasgo definitorio fundamental.

 Limitación de aplicación: Su operativa se ajusta únicamente a aquellos problemas de naturaleza algorítmica clásica, similares en ejecución al de los cálculos matemáticos que no abordan con solvencia muchos problemas interesantes para resolver con la computadora.

Es llamada así porque esta basada en comandos que actualizan variables que están en almacenamiento, en 1950, cuando los programadores reconocieron que las variables y comandos de asignación constituyen una simple pero útil abstracción de memoria que se actualiza. Basado en el modelo de computador más extendido, el llamado modelo de Von Neumann. Von Neumann define una máquina que es capaz de ejecutar una serie de instrucciones secuencialmente, una tras de otra. Estas instrucciones deben estar almacenadas en memoria principal para poder ser leídas y ejecutadas por la unidad de control. Los dispositivos periféricos nos permiten obtener los resultados e introducir datos que queremos procesar en el sistema.

El paradigma imperativo permite

...