Paradigmas

INDICE

1. INTRODUCCION

• Lenguaje de programación

• Definición de paradigma

2. Paradigmas de programación

• Programación imperativa

• Programación funcional

• Programación lógica

• Programación orientada a objetos

3. Conclusión

4. Bibliografía

Introducción

Lenguaje de programación

Edward Sapir, definió el lenguaje como un método humano y no instintivo de comunicar ideas, emociones y deseos mediante un sistema de símbolos producidos voluntariamente

1. Esta definición en principio se refiere a un lenguaje natural, que esaquel lenguaje hablado o escrito que usamos para la comunicación más cotidiana y general. No obstante, en este trabajo nos es de interés otro tipo de lenguajes llamados “lenguajes formales”. Un lenguaje formal es un lengua je donde existe una gramática que implementa el conjunto de concatenaciones (cadenas) posibles de un alfabeto finito particular. Esta gramática provee al lenguaje de 3 elementos importantes: 1. Un vocabulario de símbolos; 2. Reglas sintácticas para combinar estos símbolos en cadenas y fórmulas gramatical-mente correctas, y 3.Reglas semánticas para darle significado e interpretación a esas fórmulas. Con esto, se obtiene un lenguaje en el que a diferencia de un lenguaje natural, sus sentencias no significan nada en particular

2. ya que su significado aparece cuando les es dado un significado a sus símbolos, que no da cabida a ambigüedades y que carece del poder de crecer y evolucionar autónomamente.

Lenguajes de Programación

Los lenguajes de programación forman un subconjunto de los lenguajes formales. Mediante ellos el ser humano puede comunicarse con una computadora y decirle qué es lo que tiene que hacer y, al mismo tiempo, sirven para comunicarse con otros seres huma-nos y expresarles qué es lo que se quiere que haga una computadora. Para terminar, valela pena citar otra definición del lenguaje, esta vez por Bryan Higman, quien lo describió como: “(...) un conjunto de objetos llamados vocabulario que pueden ser combinados en cadenas lineales de acuerdo a ciertas reglas llamadas gramática. Esto, con el propósito de comunicarse con un receptor e inducir en él la realización de ciertos Paradigmas de Programación

Héctor Zárate |

• Programación imperativa

La programación imperativa es la forma natural de programar un computador, es el estilo de programación que se utiliza en el ensamblador, el estilo más cercano a la arquitectura del computador

Características de la arquitectura arquitectura clásica de Von Newmann:

Memoria donde se almacenan los datos (referenciales por su dirección de memoria) y el programa

Unidad de control que ejecuta las instrucciones del programa (contador del programa)

Los primeros lenguajes de programación (como el Fortran) son abstracciones del ensamblador y de esta arquitectura. Lenguajes más modernos como el BASIC o el C han continuado con esta idea.

• Programación funcional

Orígenes históricos

• Cálculo lambda (Alonzo Church) en los años 30

• Años 30 distintos matemáticos proponen modelos computacionales y demuestran su equivalencia (Turing - Máquina de Turing, Kleen - Sustituciones algebráicas, …)

• Modelo de cálculo lambda basado en la definición de funciones y la aplicación de estas funciones a argumentos

Definición del paradigma funcional

En un sentido estricto, la programación funcional define un programa como una función matemática que convierte unas entradas en unas salidas, sin ningún estado interno y ningún efecto lateral.

La no existencia de estado interno (celdas de memoria en las que se guardan y se modifican valores, por ejemplo) y la ausencia de efectos laterales es una característica de la programación declarativa.

Otras características del paradigma funcional son las siguientes:

• Recursión

• Funciones como tipos de datos primitivos

• Uso de listas

Historia del LISP

• LISP es el primer lenguaje de programación de alto nivel basado en el paradigma funcional

• Creado en 1958 por John McCarthy

• LISP es un lenguaje revolucionario e introduce nuevos conceptos de programación: funciones como objetos primitivos, funciones de orden superior, polimorfismo, listas, recursión, símbolos, homogeneidad de datos y programas, bucle “read-eval-print”

• La herencia del LISP llega a lenguajes derivados de él (Scheme, Golden Common LISP) y a nuevos lenguajes de paradigmas no estrictamente funcionales, como C#, Python, Ruby, Objective-C o Scala

LISP no es un lenguaje estricto de programación funcional

• En LISP (y Scheme) existen instrucciones que se salen del paradigma funcional puro y permiten estado local y efectos laterales (programación imperativa)

• LISP se diseñó con el objetivo de ser un lenguaje de alto nivel capaz de resolver problemas prácticos de Inteligencia Artificial, no con la idea de ser un lenguaje formal basado un único modelo de computación

• Con el paso de los años y el avance en los diseños de compiladores e intérpretes ha sido posible diseñar lenguajes de programación que siguen más estrictamente las características declarativas

...