Jose, Neftali, Shamir

equipo 4

PARADIGMAS DE PROGRAMACIN SEGN EL PARADIGMA DE PROGRAMACIN Un paradigma de programacin representa un enfoque particular o filosofa para la construccin del software. Si bien puede seleccionarse la forma pura de estos paradigmas a la hora de programar, en la prctica es habitual que se mezclen, dando lugar a la programacin multiparadigma. Los diferentes paradigmas de programacin son: Algortmico, Imperativo o Por procedimientos. El ms comn y est representado, por ejemplo, por C o por BASIC. Describe la programacin en trminos del estado del programa y sentencias que cambian dicho estado. Los programas imperativos son un conjunto de instrucciones que le indican al computador cmo realizar una tarea. La implementacin de hardware de la mayora de computadores es imperativa ya que el hardware est diseado para ejecutar cdigo de mquina que es imperativo. Declarativo o Predicativo. Basado en la utilizacin de predicados lgicos (lgico) o funciones matemticas (funcional), su objetivo es conseguir lenguajes expresivos en los que no sea necesario especificar cmo resolver el problema (programacin convencional imperativa), sino qu problema se desea resolver. Los interpretes de los lenguajes declarativos tienen incorporado un motor de inferencia genrico que resuelve los problemas a partir de su especificacin. Lgico. Un ejemplo es PROLOG. El mecanismo de inferencia genrico se basa en los procedimientos de deduccin de formulas vlidas en un sistema axiomtico Funcional. Representado por la familia de lenguajes LISP (en particular Scheme), ML o Haskell. El mecanismo de inferencia genrico se basa en la reduccin de una expresin funcional a otra equivalente simplificada. 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
Ing. Informtica 3er semestre.

Jose, Neftali, Shamir

equipo 4

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. Se muestran a continuacin un resumen de los paradigmas de uso ms extendido en programacin. PROGRAMACIN POR PROCEDIMIENTOS Es el paradigma original de programacin y quiz todava el de uso ms comn. En l, el programador se concentra en el procesamiento, en el algoritmo requerido para llevar a cabo el cmputo deseado. Los lenguajes apoyan este paradigma proporcionando recursos para pasar argumentos a las funciones y devolviendo valores de las funciones. FORTRAN es el lenguaje de procedimientos original, Pascal y C son inventos posteriores que siguen la misma idea. La programacin estructurada se considera como el componente principal de la programacin por procedimientos. PROGRAMACIN MODULAR Con los aos, en el diseo de programas se dio mayor nfasis al diseo de procedimientos que a la organizacin de la informacin. Entre otras cosas esto refleja un aumento en el tamao de los programas. La programacin modular surge como un remedio a esta situacin. A menudo se aplica el

Ing. Informtica

3er semestre.

Jose, Neftali, Shamir

equipo 4

trmino mdulo a un conjunto de procedimientos afines junto con los datos que manipulan. As, el paradigma de la programacin modular consiste en: a) Establecer los mdulos que se requieren para la resolucin de un problema. b) Dividir el programa de modo que los procedimientos y los datos queden ocultos en mdulos. Este paradigma tambin se conoce como principio de ocultacin de procedimientos y datos. Aunque C++ no se diseo especficamente para desarrollar la programacin modular, su concepto de clase proporciona apoyo para el concepto de mdulo. ABSTRACCIN DE DATOS Los lenguajes como ADA y C++ permiten que un usuario defina tipos que se comporten casi de la misma manera que los tipos definidos por el lenguaje. Tales tipos de datos reciben a menudo el nombre de tipos abstractos o tipos definidos por el usuario. El paradigma de programacin sobre este tipo de datos consiste en: a) Establecer las caractersticas de los tipos de datos abstractos se desean definir. b) Proporcionar un conjunto completo de operaciones vlidas y tiles para cada tipo de dato. Cuando no hay necesidad de ms de un objeto de un tipo dado, no es necesario este estilo y basta con el estilo de programacin de ocultamiento de datos por medio de mdulos. PROGRAMACIN ORIENTADA A OBJETOS (OOP) Orientado a Objetos. Cada vez ms utilizado, sobre todo en combinacin con el imperativo. De hecho los lenguajes orientados a objetos permiten la programacin imperativa. Algunos ejemplos de lenguajes orientados a objetos son C++, Java, Python. Usa objetos y sus interacciones para disear aplicaciones y programas de computadora. Est basado en varias tcnicas, incluyendo herencia, modularidad, polimorfismo y encapsulamiento. El problema con la abstraccin de datos es que no hay ninguna distincin entre las propiedades generales y las particulares de un conjunto de
Ing. Informtica 3er semestre.

Jose, Neftali, Shamir

equipo 4

objetos. Expresar esta distincin y aprovecharla es lo que define a la OOP a travs del concepto de herencia. El paradigma de la programacin orientada a objetos es, entonces, a) Definir que clases se desean b) Proporcionar un conjunto completo de operaciones para cada clase c) Indicar explcitamente lo que los objetos de la clase tienen en comn empleando el concepto de herencia En algunas reas las posibilidades de la OOP son enormes. Sin embargo, en otras aplicaciones, como las que usan los tipos aritmticos bsicos y los clculos basados en ellos, se requiere nicamente la abstraccin de datos y/o programacin por procedimientos, por lo que los recursos necesarios para apoyar la OOP podran salir sobrando.

Ing. Informtica

3er semestre.