Paradigma de programacion

Paradigma de programación
De Wikipedia, la enciclopedia libre
Saltar a navegación, búsqueda
Un paradigma de programación es el estilo de programación usado en un lenguaje. Ese estilo está representado por:
• Los conceptos y abstracciones usados para representar los elementos del lenguaje (objetos, funciones, variables, restricciones, etc.).
• Los pasos que componen un proceso decómputo en un lenguaje (asignaciones, evaluaciones, flujos de datos, etc.).
El paradigma de programación representa el enfoque particular o filosofía para la construcción del software en un lenguaje. Debido a la variedad de los problemas abordados por medio de sistemas de cómputo, se han propuestos diversos paradigmas de programación, unos más apropiados que otros para resolver ciertos problemas.[editar] Tipos de paradigmas de programación más comunes

• Imperativo o por procedimientos: es considerado el más común y está representado, por ejemplo, por C o BASIC.
• Funcional: está representado por Scheme o Haskell. Este es un caso del paradigma declarativo.
• Lógico: está representado por Prolog. Este es otro caso del paradigma declarativo.
• Declarativo: por ejemplo laprogramación funcional, la programación lógica, o la combinación lógico-funcional.
• Orientado a objetos: está representado por Smalltalk, un lenguaje completamente orientado a objetos.
Si bien puede seleccionarse la forma pura de estos paradigmas al momento de programar, en la práctica es habitual que se mezclen, dando lugar a la programación multiparadigma.
Actualmente el paradigma deprogramación más usado es el de la programación orientada a objetos.

INTRODUCCION
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 una introducción en la que son definidos varios conceptos esenciales
dentro del tema y que intentan explorar más allá de lasciencias 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.
Introducción
Me parece imposible hablar de paradigmas de programación sin antes saber qué signifi- ca el término paradigma, qué es un lenguajede programación, y entender exactamente qué es el lenguaje. Así que me parece prudente empezar desde aquí.
Edward Sapir, definió ellenguaje como un método humano y no instintivo de
comunicar ideas, emociones y deseos mediante un sistema de símbolos producidos vo-
luntariamente1. Esta definición en principio se refiere a un lenguaje natural, que es
aquel lenguaje hablado o escrito que usamospara la comunicación más cotidiana y ge-
neral. No obstante, en este trabajo nos es de interés otro tipo de lenguajes llamados
“lenguajes formales”.
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. Un vocabulario desí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 sen-
tencias no significan nada en particular2, ya que su significado aparece cuando les es
dado un significado a sussímbolos, que no da cabida a ambigüedades y que carece del
poder de crecer y evolucionar autónomamente.
Definición de Paradigma
¿Qué es un paradigma? Aunque la definición de paradigma que se encuentra en el dic-
cionario de María Moliner (véase el recuadro amarillo) es cierta y suficiente, para esta
discusión necesitaremos de una más amplia.
Una búsqueda fugaz por Google, apunta
a una...