Paradigmas de los Lenguajes de programacion

Un paradigma de programación provee (y determina) la visión y métodos de un programador  en la construcción de un programa o subprograma. Diferentes paradigmas resultan en diferentes estilos de programación y en diferentes formas de pensar la solución de problemas (con la solución de múltiples “problemas” se construye una aplicación).

Tipos de Paradigmas

•  Programación Imperativa:  

La programación imperativa, 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.

Los lenguajes imperativos de alto nivel usan variables y sentencias más complejas, pero aún siguen el mismo paradigma. Las recetas y las listas de revisión de procesos, a pesar de no ser programas de computadora, son también conceptos familiares similares en estilo a la programación imperativa; donde cada paso es una instrucción.

Algunos Lenguajes Imperativos: Basic, C, Fortran, BCPL, PHP, Pascal, ABC, B, Lua, Go, etc.

•  Programación Funcional: 

 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.

Algunos Lenguajes Funcionales: Haskell, Logo, Scala, Miranda, Snobol, lua, etc.

•  Programación Lógica:

 La programación lógica es un tipo de paradigmas de programación dentro del paradigma de programación declarativa. El resto de los subparadigmas de programación dentro de la programación declarativa son: programación funcional, programación con restricciones, programas DSL (de dominio específico) e híbridos. 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. La programación lógica gira en torno al concepto de predicado, o relación entre elementos.

 Algunos Lenguajes Lógicos: Prolog, Snobol, CLP, ALF, etc.

•  Programación Orientada a Objetos: 

La POO (OOP según sus siglas en inglés) es un paradigma de programación que usa los objetos en sus interacciones, para diseñar aplicaciones y programas informáticos. Está basado en varias técnicas, incluyendo herencia, cohesión, abstracción, polimorfismo, acoplamiento y encapsulamiento. Su uso se popularizó a principios de la década de los años 1990. En la actualidad, existe una gran variedad de lenguajes de programación que soportan la orientación a objetos.
Algunos Lenguajes orientados a objetos: Lua, ABAP, C++, Cobol, Ada, Java, PHP, R, Snobol, BCPL, Ruby, etc.