Paradigmas de programacion

Paradigmas de Programación Héctor Zárate Rea

Universidad Nacional Autónoma de México Facultad de Ingeniería
Ciudad de México, Noviembre de 2008.

Profesor: Pedro Israel Rodríguez Pérez

Resumen
Este trabajo detalla brevemente los cuatro paradigmas de programación más relevantes junto con sus características: Imperativo, Funcional , Orientado a objetos y Lógico. Además, ofrece unaintroducción en la que son definidos varios conceptos esenciales dentro del tema y que intentan explorar más allá de las ciencias del cómputo. No pretende ser una guía profunda y extensiva acerca de cada uno de estos paradigmas pero sí tiene el propósito de que para sus lectores sea un primer acercamiento al tema que pueda ser fehaciente, claro, divertido y fácil de entender.

Es publicado bajo lalicencia de Creative Commons: Creative Commons Attribution-Noncommercial-Share Alike 2.5 Mexico

Paradigmas de Programación

Tabla de Contenidos
1. Introducción
1.1 Lenguajes de Programación
1.2 Definición de Paradigma
2 3

2. Paradigmas de Programación
Programación Imperativa
Programación Funcional
Programación Lógica
Programación Orientado a Objetos
5 6 8 10

3. Conclusión 4.Recomendaciones 5. Bibliografía 6. Ilustraciones

Héctor Zárate | www.mieldemaple.com

1

Paradigmas de Programación

1. Introducción
Me parece imposible hablar de paradigmas de programación sin antes saber qué significa el término paradigma, qué es un lenguaje de programación, y entender exactamente qué es el lenguaje. Así que me parece prudente empezar desde aquí. 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 voluntariamente1. Esta definición en principio se refiere a un lenguaje natural, que es aquel 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 “lenguajesformales”. Un lenguaje formal es un lenguaje 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. 2. 3. Un vocabulario de símbolos; Reglas sintácticas para combinar estos símbolos en cadenas y fórmulas gramaticalmente correctas, y Reglas semánticas para darlesignificado 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 particular2 , 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.

1.1 Lenguajes de Programación
Los lenguajes deprogramació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 humanos y expresarles qué es lo que se quiere que haga una computadora. Para terminar, vale la pena citar otra definición del lenguaje, esta vez por Bryan Higman, quien lodescribió 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 ciertas

1

Sapir, Edward, Language. Estados Unidos: BiblioBazaar, 2008. Página 17. Shand, John. Fundamentals of Philosophy. Estados Unidos: Routledge,2003. 2

2

Héctor Zárate | www.mieldemaple.com

Paradigmas de Programación

actividades.”3. Ahora, entiéndase ‘receptor’ por cualquier tipo de computadora y nuestra definición de lenguaje de programación esta lista.

1.2 Definición de Paradigma
¿Qué es un paradigma? Aunque la definición de paradigma que se encuentra en el diccionario de María Moliner (véase el recuadro amarillo) es...