Universidad Nacional de Trujillo UNT

PARADIGMAS DE LENGUAJES DE PROGRAMACION

Por: Fernando Pairazamn Ramirez Fpairazaman@hotmail.es

UNIVERSIDAD NACIONAL DE TRUJILLO

Ingeniera Mecatrnica

FERNANDO RAFAEL PAIRAZAMN RAMIREZ

Universidad Nacional de Trujillo UNT

RESUMEN: En el informe que se presentara a continuacin, presentaremos los paradigmas que indican la diversas formas de la programacin que ha ido evolucionando a travs de la historia, los conceptos que rigen a los lenguajes de programacin y los paradigmas de la programacin; veremos la existencia de muchos paradigmas de programacin diferentes, cada uno de ellos con sus propias caractersticas tratan de solucionar los problemas clsicos del desarrollo de software desde diferentes perspectivas y filosofas. PALABRAS CLAVES: sintaxis, semntica, paradigmas, lenguajes de programacin, objetos, clases, herencia.

ABSTRACT: The report was filed then present the paradigms that indicate the various forms of programming that has evolved through history, the concepts governing programming languages and programming paradigms, we see the existence of many different programming paradigms, each with its own characteristics try to solve the classical problems of software development from different perspectives and philosophies. KEYWORDS: syntax, semantics, paradigms, programming languages, objects, classes, inheritance.

INTRODUCCIN: Los primeros lenguajes de programacin de alto nivel se disearon durante los aos 1950. Desde entonces los lenguajes de programacin han sido una fascinante y prolfica rea de estudio para los cientficos de la computacin y los ingenieros. El estudio de los lenguajes de programacin, es llamado a veces lingstica de la programacin, por analoga con la lingstica de los lenguajes naturales. La analoga se basa en el hecho en que ambos; lenguajes naturales y lenguajes de programacin, poseen sintaxis (forma) y semntica (significado). La analoga no puede tomarse en todo el contexto, Los lenguajes de programacin no pueden ser comparados con los lenguajes naturales en trminos de su rango de expresividad y subjetividad. Por otro lado, un lenguaje natural no es ms ni menos que un grupo de personas que hablan y escriben, as que la lingstica natural est restringida al anlisis de los lenguajes existentes; mientras que los lenguajes de programacin son concienzudamente diseados y se pueden implementar en computadoras.

FERNANDO RAFAEL PAIRAZAMN RAMIREZ

Universidad Nacional de Trujillo UNT

SINTAXIS Y SEMANTICA: Cada lenguaje tiene sintaxis y semntica: La sintaxis de un lenguaje de programacin est relacionada con la forma de los programas, por ejemplo, como es que las expresiones, comandos, declaraciones, etc. son puestos juntos en un programa. La semntica de un lenguaje de programacin est relacionada con el significado de los programas; por ejemplo, cmo ellos se comportarn cuando se ejecutan en una computadora.

La sintaxis de un lenguaje influye en cmo los programas son escritos por el programador, ledos por otro programador y traducidos por el computador. La semntica de un lenguaje determina como los programas son compuestos por el programador, entendidos por otros programadores e interpretados por el computador. La sintaxis es importante; pero la semntica es ms importante an. PARADIGMAS DE LA PROGRAMACIN: Un paradigma de programacin es una propuesta tecnolgica que es adoptada por una comunidad de programadores cuyo ncleo central es incuestionable en cuanto a que unvocamente trata de resolver uno o varios problemas claramente delimitados. Es un estilo de programacin empleado. La resolucin de estos problemas debe suponer consecuentemente un avance significativo en al menos un parmetro que afecte a la ingeniera de software. Tiene una estrecha relacin con la formalizacin de determinados lenguajes en su momento de definicin. Un paradigma de programacin est delimitado en el tiempo en cuanto a aceptacin y uso ya que nuevos paradigmas aportan nuevas o mejores soluciones que la sustituyen parcial o totalmente. Un paradigma de programacin provee (y determina) la visin y mtodos de un programador en la construccin de un programa o subprograma. Diferentes paradigmas resultan en diferentes estilos de programacin y en diferentes formas de pensar la solucin de problemas (con la solucin de mltiples problemas se construye una aplicacin). Bajo estos enfoques se tienen los siguientes paradigmas los cuales son: Paradigma Lgico Paradigma por procedimientos o paradigma imperativo Paradigma declarativo Paradigma funcional Paradigma Estructurado Paradigma orientado a objetos

FERNANDO RAFAEL PAIRAZAMN RAMIREZ

Universidad Nacional de Trujillo UNT

-. PARADIGMA LGICO: Se basa en la definicin de reglas lgicas para luego, a travs de un motor de inferencias lgicas, responder preguntas planteadas al sistema y as resolver los problemas. Ejemplo: prolog (que destaca la estructura del programa utilizando el Paradigma Lgico: Predicados, Clusulas, y Resultados). Resuelve problemas descriptos como las relaciones de un conjunto de datos, sobre las que aplica reglas de deduccin y a partir de tales premisas genera conclusiones aceptadas como vlidas. Usa la lgica de predicados, o aserciones lgicas que representan el conocimiento sobre un mbito. -. PARADIGMA POR PROCEDIMIENTO: El paradigma por procedimientos, es tal vez el ms conocido y utilizado en el proceso de programacin, donde los programas se desarrollan a travs de procedimientos. Pascal, C y BASIC son tres de los lenguajes imperativos ms importantes. La palabra latina imperare significa "dar instrucciones". El paradigma se inici al principio del ao 1950 cuando los diseadores reconocieron que las variables y los comandos o instrucciones de asignacin constituan una simple pero til abstraccin del acceso a memoria y actualizacin del conjunto de instrucciones mquina. Debido a la estrecha relacin con la arquitectura de la mquina, los lenguajes de programacin imperativa pueden ser implementados muy eficientemente, al menos en principio. El paradigma imperativo an tiene cierto dominio en la actualidad. Una buena parte del software actual ha sido desarrollado y escrito en lenguajes imperativos. La gran mayora de programadores profesionales son principalmente o exclusivamente programadores imperativos (Hay que aadir que los paradigmas de la programacin concurrente y orientada al objeto son en realidad sub-paradigmas de la programacin imperativa, as que sus adeptos tambin son programadores imperativos). -. PARADIGMA DECLARATIVO: El paradigma declarativo o paradigma de programacin lgica se basa en el hecho que un programa implementa una relacin antes que una correspondencia. Debido a que las relaciones son ms generales que las correspondencias (identificador direccin de memoria), la programacin lgica es potencialmente de ms alto nivel que la programacin funcional o la imperativa. El lenguaje ms popular enmarcado dentro de este paradigma es el lenguaje PROLOG. El auge del paradigma declarativo se debe a que el rea de la lgica formal de las matemticas ofrece un sencillo algoritmo de resolucin de problemas adecuado para, usarse en un sistema de programacin declarativo de propsito general. -. PARADIGMA FUNCIONAL: La programacin funcional se caracteriza por el uso de expresiones y funciones. Un programa dentro del paradigma funcional, es una funcin o un grupo de funciones compuestas por funciones ms simples establecindose que una funcin puede llamar a otra, o el resultado de una funcin puede ser usado como argumento de otra funcin. El lenguaje por excelencia ubicado dentro de este paradigma es el LISP. Por ejemplo si se desea obtener la nota promedio de un alumno podra construirse una funcin promedio la cual se obtendra a partir de otras funciones ms simples: una (sumar) la cual obtiene la suma de las entradas de la lista, otra (contar) la cual cuenta el nmero de entradas de la lista y la tercera (dividir) que obtiene el cociente de los valores anteriores.
FERNANDO RAFAEL PAIRAZAMN RAMIREZ

Universidad Nacional de Trujillo UNT

-. PARADIGMA ESTRUCTURADO: La programacin se divide en bloques (procedimientos y funciones) que pueden o no comunicarse entre s. Adems la programacin se controla con secuencia, seleccin e iteracin. Permite reutilizar cdigo programado y otorga una mejor compresin de la programacin. Es contrario al paradigma in estructurado, de poco uso, que no tiene ninguna estructura, es simplemente un bloque. La programacin estructurada es una forma de escribir programas de ordenador (programacin de computadora) de manera clara. Para ello utiliza nicamente tres estructuras: secuencia, seleccin e iteracin; siendo innecesario el uso de la instruccin o instrucciones de transferencia incondicional (GOTO, EXIT FUNCTION, EXIT SUB o mltiples RETURN). Hoy en da las aplicaciones informticas son mucho ms ambiciosas que las necesidades de programacin existentes en los aos 1960, principalmente debido a las aplicaciones grficas, por lo que las tcnicas de programacin estructurada no son suficientes. Ello ha llevado al desarrollo de nuevas tcnicas, tales como la programacin orientada a objetos y el desarrollo de entornos de programacin que facilitan la programacin de grandes aplicaciones. -. PARADIGMA ORIENTADO A OBJETOS: El paradigma orientado a objetos, se basa en los conceptos de objetos y clases de objetos. Un objeto es una variable equipada con un conjunto de operaciones que le pertenecen o estn definidas para ellos. El paradigma orientado a objetos actualmente es el paradigma ms popular y da a da los programadores, estudiantes y profesionales tratan de tomar algn curso que tenga que ver con este paradigma, podra decirse, que programar orientado a objetos est de moda. Alrededor de 1970 David Parnas plante el ocultamiento de la informacin como una solucin al problema de gerenciar grandes proyectos de software. Su idea fue encapsular cada variable global en un mdulo con un grupo de operaciones (al igual que los procedimientos y las funciones) que permitan tener un acceso directo a la variable. Otros mdulos pueden acceder a la variable slo indirectamente, llamando a estas operaciones. Hoy se usa el trmino objeto para tales mdulos o variables encapsuladas a s mismas. Lenguajes imperativos como Pascal Y C han sido modificados (o aadidos) para que soporten el paradigma orientado a objetos para dar Delphi en el caso de Pascal y C++ en el caso de C. Una de las bondades importantes de los lenguajes orientados a objetos es que las definiciones de los objetos pueden usarse una y otra vez para construir mltiples objetos con las mismas propiedades o modificarse para construir nuevos objetos con propiedades similares pero no exactamente iguales. El lenguaje orientado a objetos por excelencia es Smaltalk desarrollado en Palo Alto Research Center durante los 1970's. Pero qu es exactamente un lenguaje orientado a objetos- Los siguientes conceptos sealan las caractersticas generalmente aceptadas acerca de los lenguajes orientados a objetos. Objetos y clases son obviamente los conceptos fundamentales. Una clase es un conjunto de objetos que comparten las mismas operaciones.

FERNANDO RAFAEL PAIRAZAMN RAMIREZ

Universidad Nacional de Trujillo UNT

Objetos (o al menos referencia a objetos) deben ser valores de la clase base. As, cualquier operacin puede tomar un objeto como un argumento y puede devolver un objeto como resultado. De esta manera el concepto de clase de objetos est relacionado con el concepto de tipo de dato. Herencia es tambin vista como un concepto clave dentro del mundo de los objetos. En este contexto, la herencia es la habilidad para organizar las clases de objetos en una jerarqua de subclases y superclases y las operaciones dadas para una clase se pueden aplicar a los objetos de la subclase.

CONCLUSIONES: Los lenguajes de programacin influencian notablemente la manera en que pensamos acerca del diseo y construccin del software y los algoritmos y estructuras de datos que utilicemos para desarrollar software. Pueden clasificarse empleando distintos mtodos y puntos de vista. Esta clasificacin se basa en el paradigma que utilizan. Se debe aclarar que existen muchos ms paradigmas y sub paradigmas de programacin no incluidos dentro de los mencionados. Adems, todava hay conflictos en las definiciones y alcances de ciertos paradigmas.

REFERENCIAS ELECTRONICAS: [RE1]http://sedici.unlp.edu.ar/bitstream/handle/10915/21554/Documento_completo.p df?sequence=1 Paradigmas de Programacin Paralelas [RE2]https://es.wikipedia.org/wiki/Paradigma_de_programaci%C3%B3n Paradigmas. Tipos de

[RE3]http://labsys.frc.utn.edu.ar/ppr2009/Unidad%20I%20%20POO%20Avanzada/Apunt e/Unidad%20I%20-%20POO%20Avanzada.pdf Paradigmas UTN [RE4]http://www.alegsaonline.com/art/13.php Programacin. Clasificacin de los lenguajes de

[RE5]http://www.genbetadev.com/paradigmas-de-programacion/diferencias-entreparadigmas-de-programacion Diferencias entre paradigmas de programacin. [RE6]http://es.scribd.com/doc/9174723/Paradigmas-de-Programacion Paradigmas de la Programacin [RE7]http://sisbib.unmsm.edu.pe/bibvirtual/publicaciones/indata/v04_n1/lenguajes.htm Lenguajes de Programacin: Conceptos y Paradigmas.

FERNANDO RAFAEL PAIRAZAMN RAMIREZ

Universidad Nacional de Trujillo UNT

FERNANDO RAFAEL PAIRAZAMN RAMIREZ