Paradigmas de la programación

Contenido

Paradigmas de Programación        2

1.0Introducción        2

2.0 Tipos de paradigmas de programación        3

2.1 programación imperativo.        3

2.2 Programación funcional        3

2.3 Programación lógica        4

2.4 Programación Orientada a Objetos (POO)        5

3.0 Conclusión        5

Bibliografía        ¡Error! Marcador no definido.

Paradigmas de Programación

1.0 Introducción

Los paradigmas de programación son un conjunto de patrones conceptuales que dan forma al punto de vista frente a un problema, razonar una solución o estructurar un programa. 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.

Es un estilo de desarrollo de programas basado en métodos de realizar cómputos y estructurar, ordenar, indexar y organizar las tareas que debe realizar un programa. También se conoce a los paradigmas de programación como una agrupación de varios lenguajes de programación que comparten o asimilan el mismo mecanismo computacional.

Hay multitud de ellos atendiendo a alguna particularidad metodológica o funcional Cuando un lenguaje refleja bien un paradigma particular, se dice que soporta el paradigma, y en la práctica un lenguaje que soporta correctamente un paradigma, es difícil distinguirlo del propio paradigma, por lo que se identifica con él.

Los paradigmas de programación se clasifican en: Paradigma imperativo, heurístico, concurrente, funcional, lógico, paradigma basado en objetos.

[pic 1]

2.0 Tipos de paradigmas de programación

2.1 programación imperativo.

En este paradigma, un programa es una secuencia finita de instrucciones ejecutables, una tras otra, que dicen a la computadora como realizar cierta tarea específica. Los datos principales se guardan en la memoria principal y se referenciando variables.

“C” es un claro ejemplo de lenguaje de programación imperativo, ya que forma una abstracción de la máquina de Von-Neumann, que se caracteriza por: la memoria principal y la unidad central de proceso.

[pic 2]

Así también lenguajes como Pascal, Ada, Cobol, Modula-2 y Fortran utilizan este paradigma de programación.

El objetivo es conseguir lenguajes expresivos y ''matemáticamente elegantes'', en los que no sea necesario bajar al nivel de la máquina para describir el proceso llevado a cabo por el programa, y evitando el concepto de ''estado'' del cómputo.

2.2 Programación funcional

Este paradigma se caracteriza porque en las sentencias son funciones en el sentido más matemático del término.

El paradigma funcional está basado en el modelo matemático de composición funcional. En este modelo, el resultado de un cálculo es la entrada del siguiente, y así sucesivamente hasta que una composición produce el valor deseado. 

Un programa es una función que se compone de muchas funciones más simples, dando al ordenador la tarea de evaluar dichas funciones.

[pic 3]

Ejemplos de este paradigma de programación serian: Lisp

2.3 Programación lógica

En este paradigma un programa declara una serie de hechos (elementos conocidos, relación de elementos concretos) y reglas (relación general entre objetos que cumplen unas propiedades) y luego preguntar por su resultado

Consiste en la aplicación del corpus de conocimiento sobre lógica para el diseño de lenguajes de programación; no debe confundirse con la disciplina de la lógica computacional. La programación lógica es un tipo de paradigmas de programación dentro del paradigma de programación declarativa. El resto de los subparadigmas de programación dentro de la programación declarativa son: programación funcional, programación basada en restricciones, programas DSL (de dominio específico) e híbridos. La programación lógica gira en torno al concepto de predicado, o relación entre elementos. La programación funcional se basa en el concepto de función (que no es más que una evolución de los predicados), de corte más matemático.

...