Tipo de Programacin

Definicin Es un paradigma de programacin basado en la lgica en el que se estudian de forma simple muchos aspectos avanzados de los lenguajes de programacin modernos.

Caractersticas La Programacin Declarativa, en contraposicin a la Programacin Imperativa es un paradigma de programacin que est basado en el desarrollo de programas especificando o "declarando" un conjunto de condiciones, proposiciones, afirmaciones, restricciones, ecuaciones o transformaciones que describen el problema y detallan su solucin. Uso de la lgica como lenguaje de programacin La tarea de programar consiste en centrar la atencin en la lgica dejando de lado el control, que se asume automtico, al sistema. No hay asignacin ni cambio de estado No hay referencias: identificadores asociados a valores No hay efectos laterales Recursin Funciones como tipos de datos primitivos Ausencia de efectos colaterales El valor de una expresin solo depende de los valores de sus subexpresiones, si las tiene. Los programas escritos en un lenguaje funcional estn constituidos nicamente por definiciones de funciones. No como subprogramas clsicos de un lenguaje imperativo, sino como funciones puramente matemticas.

Ejemplos de tipo de programacin Prolog. Maude SQL. Haskell. ML Lisp Prolog F-Prolog Curry QML

Similitud

Programacin Declarativa

En un sentido estricto, la programacin funcional define un programa como una funcin matemtica que convierte unas entradas en unas salidas, sin estado interno ni efectos laterales.

Programacin Funcional

Haskell Miranda Scala Lisp Clojure Scheme Ocaml SAP Standard ML Python Ruby