Академический Документы
Профессиональный Документы
Культура Документы
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.
Ejemplo en programas como: Fortran, Java, Pascal, ALGOL, C++ etc.
PROGRAMACIÓN FUNCIONAL
En informática, la programación funcional es un paradigma de
programación declarativa basado en el uso de verdaderas funciones
matemáticas. En este estilo de programación las funciones son
ciudadanas de primera clase, porque sus expresiones pueden ser
asignadas a variables como se haría con cualquier otro valor; además de
que pueden crearse funciones de orden superior. Ejemplos de Programas
Perl, Phython.
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 sub-paradigmas 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.
Ejemplos C#,Java, clojure, scala.
PROGRAMACIÓN DECLARATIVA
Programación Declarativa. Es un paradigma de programación basado en
la lógica en el que se estudian de forma simple muchos aspectos
avanzados de los lenguajes de programación modernos. Ejemplo Prolog,
Lisp, Haskell, Erlang y SQL.