PARADIGMAS DE PROGRAMACION Final


PARADIGMAS DE INVESTIGACION
Para empezar con este trabajo de investigación comenzare hablando sobre los paradigmas de programación mas usados hoy en dia 2015.
- El paradigma imperativo o por procedimientos es considerado el más común y está representado, por ejemplo, por el C o por BASIC.

- El paradigma funcional está representado por la familia de lenguajes (enparticular Scheme), ML o Haskell.

- El paradigma lógico, un ejemplo es PROLOG.

- El paradigma orientado a objetos. Un lenguaje completamente orientado a objetos es Smalltalk y .NET.

PARADIGMA IMPERACTIVO O POR PROCEDIMIENTOS
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.
La implementación de hardware de la mayoría de computadores es imperativa; prácticamente todo el hardware de los computadores está diseñado para ejecutar código de máquina, que es nativo al computador, escrito en una forma imperativa. Esto se debe a que el hardware de los computadoresimplementa el paradigma de las Máquinas de Turing. Desde esta perspectiva de bajo nivel, el estilo del programa está definido por los contenidos de la memoria, y las sentencias son instrucciones en el lenguaje de máquina nativo del computador (por ejemplo el lenguaje ensamblador). (Floyd, 1979)
Algunos lenguajes imperativos
BASIC
C
C++
Fortran
Pascal
Perl
PHP
Lua

PARADIGMA FUNCIONAL
Esun 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 yexclusivamente 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 dellenguaje ML). Erlanges otro lenguaje funcional de programación concurrente. R también es un lenguaje funcional dedicado a la estadística.[1] Recientemente Microsoft Research está trabajando en el lenguaje F# (Functional#).

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 programasusando exclusivamente funciones definidas por el usuario. Así como Python, como lenguaje que incorpora el paradigma funcional. (Booch, Rumbaugh, & I., 2004)






PARADIGMA LOGICO
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 comprendedos 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 condiversas variantes. La más importante es la programación lógica con restricciones (véase artículo sobre programación con restricciones), que posibilita la resolución de ecuaciones lineales además de la demostración de hipótesis. (Pressman R. , 2002)

PARADIGMA ORIENTADO A OBJETOS

Desde mi punto de vista como alumno en carrera de sistemas computacionales este es uno de los paradigmas de...