Scribd
Cargar
56 vistas

Paradigmas de Programacion

Este documento describe varios paradigmas de programación, incluyendo paradigmas procedimentales como imperativo y orientado a objetos, paradigmas declarativos como funcional y lógico, y paradigmas demostrativos. También discute lenguajes de programación asociados con cada paradigma.

Cargado por

Jotajota Mcastillo
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PPT, PDF, TXT o lee en línea desde Scribd
56 vistas

Paradigmas de Programacion

Este documento describe varios paradigmas de programación, incluyendo paradigmas procedimentales como imperativo y orientado a objetos, paradigmas declarativos como funcional y lógico, y paradigmas demostrativos. También discute lenguajes de programación asociados con cada paradigma.

Cargado por

Jotajota Mcastillo
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PPT, PDF, TXT o lee en línea desde Scribd
Está en la página 1/ 17

PARADIGMAS DE PROGRAMACION

Definición

Un paradigma de programación representa un


enfoque particular o filosofía para la
construcción del software. No es mejor uno que
otro sino que cada uno tiene ventajas y
desventajas. También hay situaciones donde un
paradigma resulta más apropiado que otro.
Paradigmas procedimentales u
operacionales

La característica fundamental de estos paradigmas


es la secuencia computacional realizada etapa a
etapa para resolver el problema. Su mayor dificultad
reside en determinar si el valor computado es una
solución correcta del problema, por lo que se han
desarrollado multitud de técnicas de depuración y
verificación para probar la corrección de los
problemas desarrollados basándose en este tipo de
paradigmas.
Paradigmas procedimentales u
operacionales

Pueden ser de dos tipos básicos: Los que


actúan modificando repetidamente la
representación de sus datos (efecto de lado); y
los que actúan creando nuevos datos
continuamente (sin efecto de lado).

Existen dos tipos de paradigmas con efectos


de lado:
1. Paradigma imperativo

En contraposición a la programación declarativa


es un paradigma de programación que describe
la programación en términos del estado del
programa y sentencias que cambian dicho
estado. Los programas imperativos son un
conjunto de instrucciones que le indican al
computador cómo realizar una tarea.
1. Paradigma imperativo

Algunos lenguajes imperativos son:


 ASP
 BASIC
 C
 C++
 Fortran
 Pascal
 Perl
 PHP
 Lua
2. Paradigma orientado a objetos


La Programación Orientada a Objetos (POO u OOP
según sus siglas en inglés) es un paradigma de
programación que usa objetos y sus interacciones
para diseñar aplicaciones y programas de
computadora. Está basado en varias técnicas,
incluyendo herencia, modularidad, polimorfismo y
encapsulamiento. Actualmente son muchos los
lenguajes de programación que soportan la
orientación a objetos.
2. Paradigma orientado a objetos

Algunos lenguajes imperativos son:

 ABAP
 Ada
 C++
 Gambas
 Eiffel
 Java
 JavaScript (la herencia se realiza por medio de la programación basada en prototipos)
 PHP (en su versión 5)
 Visual FoxPro (en su versión 6)
 Visual Basic 6.0 (Orientada a Eventos)
 XBase++


**Muchos de estos lenguajes de programación no son puramente orientados a objetos, sino que son
híbridos que combinan la POO con otros paradigmas
Los paradigmas sin efecto de lado no incluyen
a los que tradicionalmente son denominados
paradigmas funcionales. Sin embargo es
importante distinguir la solución funcional
procedimental de la solución funcional
declarativa.
1. Paradigmas procedimentales

Definen la secuencia explícitamente, pero esta


secuencia se puede procesar en serie o en
paralelo. En este segundo caso el
procesamiento paralelo puede ser asíncrono
(cooperación de procesos paralelos) o síncrono
(procesos simples aplicados simultáneamente a
muchos objetos).
2. Paradigmas declarativos

La programación estructurada o declarativa es una forma de


escribir programas de ordenador (programación de computadora) de
forma clara. Para ello utiliza únicamente tres estructuras: secuencia,
selección e iteración; siendo innecesario el uso de la instrucción o
instrucciones de transferencia incondicional (GOTO, EXIT
FUNCTION, EXIT SUB o múltiples RETURN).

En este tipo, un programa se construye señalando hechos, reglas,


restricciones, ecuaciones, transformaciones y otras propiedades
derivadas del conjunto de valores que configuran la solución. A partir
de esta información el sistema debe de proporcionar un esquema que
incluya el orden de evaluación que compute una solución. Aquí no
existe la descripción de las diferentes etapas a seguir para alcanzar
una solución.
2. Paradigmas declarativos

Estos paradigmas permiten el uso de variables para


almacenar valores intermedios, pero no para
actualizar estados de información. En principio, los
paradigmas declarativos no son soluciones
inherentes de tipos serie o paralelo, ya que no
dirigen la secuencia de control y no pueden alterar el
natural no paralelismo del algoritmo. No obstante,
los paradigmas pseudo declarativos requieren al
menos un limitado grado de secuencia, y por lo tanto
admiten versiones en serie y paralelo.
Paradigmas demostrativos

Cuando se programa bajo un paradigma


demostrativo (también llamada programación por
ejemplos), el programador no especifica
procedimentalmente cómo construir una solución.
En su lugar, presentan soluciones de problemas
similares y permite al sistema que generalice una
solución procedimental a partir de estas
demostraciones. Los esquemas individuales para
generalizar tales soluciones van desde simular una
secuencia procedimental o inferir intenciones.
Paradigmas lógico

Consiste en la aplicación del corpus de conocimiento sobre


lógica para el diseño de lenguajes de programación; no debe
confundirse con la disciplina de la lógica computacional.

La programación lógica comprende dos paradigmas de


programación: la programación declarativa y la programación
funcional. La programación declarativa gira en torno al
concepto de predicado, o relación entre elementos. La
programación funcional se basa en el concepto de función
(que no es más que una evolución de los predicados), de corte
más matemático.
Lenguajes

El lenguaje de programación lógica por


excelencia es Prolog, que cuenta con diversas
variantes. La más importante es la
programación lógica con restricciones, que
posibilita la resolución de ecuaciones lineales
además de la demostración de hipótesis.
Paradigma funcional

Es un paradigma de programación declarativa basado en la


utilización de funciones matemáticas.

El objetivo es conseguir lenguajes expresivos y


matemáticamente elegantes, en los que no sea necesario
bajar al nivel de la máquina para describir el proceso llevado
a cabo por el programa, y evitando el concepto de estado
del cómputo. La secuencia de computaciones llevadas a
cabo por el programa se regiría única y exclusivamente por
la reescritura de definiciones más amplias a otras cada vez
más concretas y definidas, usando lo que se denominan
“definiciones dirigidas“.
Lenguajes funcionales

Entre los lenguajes funcionales puros, cabe destacar a Haskell y


Miranda. Los lenguajes funcionales híbridos más conocidos son Scala,
Lisp, Scheme, Ocaml, SAP y Standard ML (estos dos últimos,
descendientes del lenguaje ML). Erlang es otro lenguaje funcional de
programación concurrente. R también es un lenguaje funcional
dedicado a la estadística.

Entre otros lenguajes que se podrían utilizar para programación


funcional se podrían incluir a Perl, pues, aunque es un lenguaje de
propósito muy general, se pueden realizar programas usando
exclusivamente funciones definidas por el usuario. Así como Python,
como lenguaje que incorpora el paradigma funcional.

También podría gustarte