Paradigma de programacin

Paradigma de 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 nicamente 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. El paradigma de programacin que actualmente es el ms usado es la orientacin a objetos. El ncleo central de este paradigma es la unin de datos y procesamiento en una entidad llamada "objeto", relacionable a su vez con otras entidades "objeto". Tradicionalmente datos y procesamiento se han separado en reas diferente del diseo y la implementacin de software. Esto provoc que grandes desarrollos tuvieran problemas de fiabilidad, mantenimiento, adaptacin a los cambios y escalabilidad. Con la orientacin a objetos y caractersticas como el encapsulado, polimorfismo o la herencia se permiti un avance significativo en el desarrollo de software a cualquier escala de produccin. La orientacin a objeto parece estar ligada en sus orgenes con lenguajes como Lisp y Simula aunque el primero que acu el ttulo de programacin orientada a objetos fue Smalltalk

GARDENIA GOMEZ JIMENEZ

Pgina 1

Paradigma de programacin

Tipos de paradigmas de programacin ms comunes

Imperativo o por procedimientos: es considerado el ms comn y est representado, por ejemplo, por C, BASIC o Pascal

Funcional: est representado por Scheme o Haskell. Este es un caso del paradigma declarativo.

Lgico: est representado por Prolog. Este es otro caso del paradigma declarativo.

Declarativo: por ejemplo la programacin funcional, la programacin lgica, o la combinacin lgico-funcional.

Orientado a objetos: est representado por Smalltalk, un lenguaje completamente orientado a objetos.

Programacin dinmica: est definida como el proceso de romper problemas en partes pequeas para analizarlos.

Si bien puede seleccionarse la forma pura de estos paradigmas al momento de programar, en la prctica es habitual que se mezclen, dando lugar a la programacin multiparadigma. Actualmente el paradigma de programacin ms usado es el de la programacin orientada a objetos.

GARDENIA GOMEZ JIMENEZ

Pgina 2

Paradigma de programacin

Clasificacin por paradigmas de programacin

PARADIGMA IMPERATIVO: describe la programacin como una secuencia instrucciones o comandos que cambian el estado de un programa. El cdigo mquina en general est basado en el paradigma imperativo. Su contrario es el paradigma declarativo. En este paradigma se incluye el paradigma procedimental (procedural) entre otros.

PARADIGMA DECLARATIVO: No se basa en el cmo se hace algo (cmo se logra un objetivo paso a paso), sino que describe (declara) cmo es algo. En otras palabras, se enfoca en describir las propiedades de la solucin buscada, dejando indeterminado el algoritmo (conjunto de instrucciones) usado para encontrar esa solucin. Es ms complicado de implementar que el paradigma imperativo, tiene desventajas en la eficiencia, pero ventajas en la solucin de determinados problemas.

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 paradigma estructurado, de poco uso, que no tiene ninguna

contrario al

estructura, es simplemente un bloque, como por ejemplo, los archivos batch (.bat).

PARADIGMA ORIENTADO A OBJETOS: est basado en la idea de encapsular estado y operaciones en objetos. En general, la programacin se resuelve

comunicando dichos objetos a travs de mensajes (programacin orientada a

GARDENIA GOMEZ JIMENEZ Pgina 3

Paradigma de programacin

mensajes). Se puede incluir -aunque no formalmente- dentro de este paradigma, el paradigma basado en objetos, que adems posee herencia y subtipos entre objetos. Ej.: Simula, Smalltalk, C++, Java, Visual Basic .NET, etc.

PARADIGMA FUNCIONAL: este paradigma concibe a la computacin como la evaluacin de funciones matemticas y evita declarar y cambiar datos. En otras palabras, hace hincapi en la aplicacin de las funciones y composicin entre ellas, ms que en los cambios de estados y la ejecucin secuencial de comandos (como lo hace el paradigma procedimental). Permite resolver ciertos problemas de forma elegante y los lenguajes puramente funcionales evitan los efectos

secundarios comunes en otro tipo de programaciones.

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. Ej.: prolog.

Otros paradigmas y subparadigmas son: paradigma orientado al sujeto, paradigma reflectante, programacin basada en reglas, paradigma basado en programacin basada en prototipos, paradigma orientado a

restricciones, aspectos, etc.

GARDENIA GOMEZ JIMENEZ

Pgina 4

Paradigma de programacin

ENSAYO

Los desarrollos

de los lenguajes de programacin muestran una creciente

evolucin y en los que incorporan elementos que permiten crear programas cada vez ms slidos. los paradigmas de programacin lo cual son formas que determinan los mtodos y herramientas de un programador, ellos utilizan para realizar o hacer software, ya de igual manera se tiene que estar delimitado en el tiempo en cuanto a

aceptacin y uso ya que nuevos paradigmas aportan nuevas o mejores soluciones. Un paradigma de programacin es una coleccin de modelos conceptuales que juntos modelan el proceso de diseo y determinan, al final, la estructura de un programa. Como un proceso de diseo que va ms all de una gramtica, conjunto de mtodos sistemticos

semntica y algoritmos, sino que es un

aplicables en todos los niveles de diseo de programas Tambin se hace referencia a los tipos o clasificacin de los paradigmas los ms comunes y ms importantes Paradigma funcional: Es un paradigma de programacin declarativa basado en la utilizacin de funciones aritmticas que no maneja datos mutables o de estado. Enfatiza la aplicacin de funciones, en contraste con el estilo de programacin imperativa, que enfatiza los cambios de estado.

Paradigma orientado a objetos: El problema con la abstraccin de datos es que no hay ninguna distincin entre las propiedades generales y las particulares de un conjunto de objetos. Expresar esta distincin y aprovecharla es lo que define a la POO a travs del concepto de herencia.

GARDENIA GOMEZ JIMENEZ

Pgina 5

Paradigma de programacin

Paradigma estructurado: se divide en bloques y Permite reutilizar cdigo programado y otorga una mejor compresin de la programacin. Paradigma imperativo: esta describe las funciones y el cdigo maquina esta basada en paradigma imperativo.

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.

Los principales paradigma son: Paradigmas procedimentales: Imperativo Objetos Paradigmas declarativos: Funcional Lgico Otros paradigmas: Heurstico Concurrente

GARDENIA GOMEZ JIMENEZ

Pgina 6