PARADIGMAS DE PROGRAMACION

PROGRAMACIN IMPERATIVA
La programacin imperativa consiste en una serie de comandos que una
computadora ejecutar. Estos comandos detallan de forma clara y especca el
cmo hacer las cosas y llevarn al programa a travs de distintos estados.
Algunos lenguajes imperativos son:

BASIC
C
Fortran
Pascal
Perl
PHP
Lua
Java
Python
Go
CRITICAS
Se ha dicho que el estilo de programacin imperativa, al permitir y depender de
efectos colaterales, como el uso de variables globales, dificulta notablemente la
depuracin y la paralelizacin (la habilidad para dividir el trabajo en muchos hilos
de ejecucin simultnea)

PROGRAMACIN FUNCIONAL
El paradigma funcional considera al programa como una funcin matemtica,
donde el dominio representara el conjunto de todas las entradas posibles (inputs)
y el rango sera el conjunto de todas las salidas posibles (outputs).
En los lenguajes funcionales no existe el concepto de variables y
consecuentemente tampoco existen operaciones de asignacin. Aunque podra
parecer que los parmetros de una funcin se comportan como una variable
Los lenguajes ms utilizados dentro de este paradigma son Standard ML, Haskell
y Scheme9 aunque al hoy por hoy LOGO10 figurara junto con otros dialectos de
LISP.

VENTAJAS DE USAR UN PARADIGMA FUNCIONAL

Ausencia de efectos colaterales
Proceso de depuracin menos problemtico
Pruebas de unidades ms confiables
Mayor facilidad para la ejecucin concurrente

PROGRAMACIN LGICA
El paradigma lgico difiere de forma importante de otros paradigmas. No slo en
su sintaxis o semntica, sino que en l la lgica representa conocimiento, el cual
es manipulado mediante inferencias. A diferencia de los dems paradigmas,
trabajar en este significa especificar qu hacer y no cmo hacerlo, por ello son
llamados lenguajes declarativos.
Al ser un paradigma bastante abstracto vale la pena esclarecerlo a travs de
algunos ejemplos. Aunque Prolog es el lenguaje ms representativo en este
paradigma, tambin se puede utilizar Structured Query Language (SQL).

PROGRAMACIN ORIENTADO A OBJETOS
La programacin orientada a objetos es un paradigma que utiliza objetos como
elementos fundamentales en la construccin de la solucin. Surge en los aos 70.
Un objeto es una abstraccin de algn hecho o ente del mundo real que tiene
atributos que representan sus caractersticas o propiedades y mtodos que
interpreta su comportamiento o acciones que realizan. Todas las propiedades y
mtodos comunes a los objetos se encapsulan o se agrupan en clases. Una clase
es una plantilla o un prototipo para crear objetos; por eso se dice que los objetos
son instancias de clases.
Estos son algunos lenguajes que estn orientados a POO:
Python, C++, Java, Visual Basic 6.0, Ruby entre otros.