Ejemplos de paradigmas de programacin: El paradigma imperativo es considerado el ms comn y est representado, por ejemplo, por el C o por BASIC.

El paradigma funcional est representado por la familia de lenguajes LISP, en particular Scheme o Haskell. Tipos de Paradigmas de Programacin hoy. Paradigmas Imperativo: Modelo abstracto que consiste en un gran almacenamiento de memoria donde la computadora almacena una representacin codificada de un clculo y ejecuta una secuencia de comandos que modifican el contenido de ese almacenamiento. Algoritmos + Estructura de Datos = Programa. 2. Paradigmas Procedimentales: Modelos de Desarrollo: Orientado a Objetos, a Eventos, y a Agentes. Secuencia computacional realizada etapa a etapa para resolver el problema. Su mayor dificultad reside en determinar si el valor computado es una solucin correcta del problema. 3. Paradigmas Declarativos. - Modelos de Desarrollo: Funcional, Lgico y de Flujo de Datos. Se construye sealando hechos, reglas, restricciones, ecuaciones, transformaciones y otras propiedades derivads del conjunto de valores que configuran la solucin.

4 Paradigmas Demostrativos.- Modelos de Desarrollo: Gentico. Cuando se programa bajo un paradigma demostrativo (tambin llamada programacin por ejemplos), el programador no especifica procedimentalmente cmo construir una solucin sino que presentan soluciones de problemas similares. 5. Paradigmas Funcional: Modelo matemtico de composicin funcional donde el resultado de un clculo es la entrada del siguiente, y as sucesivamente hasta que una composicin produce el valor deseado. 6. Paradigma Orientado a Objeto: disciplina de ingeniera de desarrollo y modelado de software que permite construir ms fcilmente sistemas complejos a partir de componentes individuales. Objetos + Mensajes = Programa. Bueno, no se puede decir que este mal relacionar un paradigma con un modelo aunque en este caso hay una especie de ensalada rusa. Es natural que los lenguajes de programacin puros nos establecen paradigmas claros (C, Haskell, Smalltalk, Prolog), pero tambin nos confunden los lenguajes hbridos al incorporar a sus nuevas versiones paradigmas o seudoparadigmas nuevos (C++, Visual Fox, Builder, Scheme, Lisp). Creo que lo mas conveniente ser relacionar los lenguajes con los paradigmas y diferenciar un lenguaje puro de un hbrido. Yo les pregunto Java es un lenguaje imperativo y hasta que punto pertenece o pretende ser puro en cuanto al paradigma orientado a objetos?.

http://blogs.ya.com/iscvtl/c_3.htm