Programación declarativa - Historial de revisiones

Carlos idict: Texto reemplazado: «
» por «»

2019-08-31T04:07:48Z

Texto reemplazado: «<div align="justify">» por «»

Lourdes ciget.hol en 18:52 21 ene 2019

2019-01-21T18:52:19Z

Reynier idict en 20:51 3 ene 2019

2019-01-03T20:51:35Z

Jlyero: Página creada con «{{fusionar en|t=20170531142237|Lenguaje de programación}} La '''programación declarativa''', en contraposición a la programación imperativa, es un paradigma de…»

2018-12-12T17:01:51Z

Página creada con «{{fusionar en|t=20170531142237|Lenguaje de programación}} La '''programación declarativa''', en contraposición a la programación imperativa, es un paradigma de…»

Página nueva

{{fusionar en|t=20170531142237|Lenguaje de programación}}

La '''programación declarativa''', en contraposición a la [[programación imperativa]], es un [[paradigma de programación]] que está basado en el desarrollo de [[software|programas]] especificando o "declarando" un conjunto de condiciones, proposiciones, afirmaciones, restricciones, ecuaciones o transformaciones que describen el problema y detallan su solución. La solución es obtenida mediante mecanismos internos de control, sin especificar exactamente cómo encontrarla (tan solo se le indica a la [[computadora]] qué es lo que se desea obtener o qué es lo que se está buscando). No existen asignaciones destructivas, y las variables son utilizadas con [[transparencia referencial]].

== Diferencia entre imperativo y declarativo ==
En la [[programación imperativa]] se describe paso a paso un conjunto de instrucciones que deben ejecutarse para variar el estado del programa y hallar la solución, es decir, un [[algoritmo]] en el que se describen los pasos necesarios para solucionar el problema.

En la programación declarativa las sentencias que se utilizan lo que hacen es describir el problema que se quiere solucionar; se programa diciendo lo que se quiere resolver a nivel de usuario, pero no las instrucciones necesarias para solucionarlo. Esto último se realizará mediante mecanismos internos de [[inferencia]] de información a partir de la descripción realizada.

== Tipos ==
Existen varios tipos de lenguajes declarativos:
* Los lenguajes lógicos, como [[Prolog]].
* Los lenguajes algebraicos, como [[Maude (lenguaje de programación)|Maude]] y [[SQL]].
* Los lenguajes funcionales, como [[Haskell]] y [[Erlang]].

== Ventajas ==
Se ha dicho que los lenguajes declarativos tienen la ventaja de ser razonados matemáticamente, lo que permite el uso de mecanismos matemáticos para optimizar el rendimiento de los programas.<ref>{{cita web |url=http://ademirar.wordpress.com/2010/08/28/programacion-funcional-para-el-resto-de-nosotros/ |título=Copia archivada |fechaacceso=1 de mayo de 2011 |urlarchivo=https://web.archive.org/web/20110314190020/http://ademirar.wordpress.com/2010/08/28/programacion-funcional-para-el-resto-de-nosotros/ |fechaarchivo=14 de marzo de 2011 }}</ref>

Son fiables y expresivos.

== Algunos lenguajes declarativos ==
* [[Haskell]] ([[Programación funcional]])
* [[ML (lenguaje de programación)|ML]] ([[Programación funcional]])
* [[Lisp]] ([[Programación funcional]])
* [[Prolog]] ([[Programación lógica]])
* F-Prolog (Programación lógica difusa)
* [[Curry (lenguaje de programación)|Curry]] (Programación lógico-funcional)
* [[SQL]]
* [[QML]]

== Referencias ==
<references />

[[Categoría:Lenguajes de programación]]
[[Categoría:Paradigmas de programación]]

@@ Línea 6: / Línea 6: @@
 como programación declarativa.
 }}
-<div align="justify">
 '''Programación declarativa''', en contraposición a la [[programación imperativa]], es un  [[paradigma de programación]] que está basado en el desarrollo de [[software|programas]] especificando o "declarando" un conjunto de condiciones, proposiciones, afirmaciones, restricciones, ecuaciones o transformaciones que describen el problema y detallan su solución. La solución es obtenida mediante mecanismos internos de control, sin especificar exactamente cómo encontrarla (tan solo se le indica a la [[computadora]] qué es lo que se desea obtener o qué es lo que se está buscando). No existen asignaciones destructivas, y las variables son utilizadas con [[transparencia referencial]].

@@ Línea 1: / Línea 1: @@
-{{Normalizar}}
+{{Definición
+|nombre=Programación Declarativa
-La '''programación declarativa''', en contraposición a la [[programación imperativa]], es un  [[paradigma de programación]] que está basado en el desarrollo de [[software|programas]] especificando o "declarando" un conjunto de condiciones, proposiciones, afirmaciones, restricciones, ecuaciones o transformaciones que describen el problema y detallan su solución. La solución es obtenida mediante mecanismos internos de control, sin especificar exactamente cómo encontrarla (tan solo se le indica a la [[computadora]] qué es lo que se desea obtener o qué es lo que se está buscando). No existen asignaciones destructivas, y las variables son utilizadas con [[transparencia referencial]].
+|imagen=
 == Diferencia entre imperativo y declarativo ==
@@ Línea 29: / Línea 35: @@
 * [[QML]]
-== Referencias ==
+== Fuentes ==
-<references />
+*Programación Declarativa [http://www.inf-cr.uclm.es/www/pjulian/teaching/sl_apPD.pdf]. Consultado: 21 de enero del 2019
 [[Categoría:Lenguajes de programación]]
 [[Categoría:Paradigmas de programación]]

← Revisión anterior		Revisión del 20:51 3 ene 2019
Línea 1:		Línea 1:
−	{{~~fusionar en\|t=20170531142237\|Lenguaje de programación~~}}	+	{{Normalizar}}

	La '''programación declarativa''', en contraposición a la [[programación imperativa]], es un [[paradigma de programación]] que está basado en el desarrollo de [[software\|programas]] especificando o "declarando" un conjunto de condiciones, proposiciones, afirmaciones, restricciones, ecuaciones o transformaciones que describen el problema y detallan su solución. La solución es obtenida mediante mecanismos internos de control, sin especificar exactamente cómo encontrarla (tan solo se le indica a la [[computadora]] qué es lo que se desea obtener o qué es lo que se está buscando). No existen asignaciones destructivas, y las variables son utilizadas con [[transparencia referencial]].		La '''programación declarativa''', en contraposición a la [[programación imperativa]], es un [[paradigma de programación]] que está basado en el desarrollo de [[software\|programas]] especificando o "declarando" un conjunto de condiciones, proposiciones, afirmaciones, restricciones, ecuaciones o transformaciones que describen el problema y detallan su solución. La solución es obtenida mediante mecanismos internos de control, sin especificar exactamente cómo encontrarla (tan solo se le indica a la [[computadora]] qué es lo que se desea obtener o qué es lo que se está buscando). No existen asignaciones destructivas, y las variables son utilizadas con [[transparencia referencial]].

Programación declarativa - Historial de revisiones

Carlos idict: Texto reemplazado: «» por «»

Lourdes ciget.hol en 18:52 21 ene 2019

Reynier idict en 20:51 3 ene 2019

Jlyero: Página creada con «{{fusionar en|t=20170531142237|Lenguaje de programación}} La '''programación declarativa''', en contraposición a la programación imperativa, es un paradigma de…»

Carlos idict: Texto reemplazado: «
» por «»