Diferencia entre revisiones de «Programación declarativa»
| Línea 1: | Línea 1: | ||
| − | {{ | + | {{Definición |
| − | + | |nombre=Programación Declarativa | |
| − | + | |imagen= | |
| + | |tamaño= | ||
| + | |concepto=La programación lógica, junto con la funcional, forma parte de lo que se conoce | ||
| + | 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]]. | ||
== Diferencia entre imperativo y declarativo == | == Diferencia entre imperativo y declarativo == | ||
| Línea 29: | Línea 35: | ||
* [[QML]] | * [[QML]] | ||
| − | == | + | == Fuentes == |
| − | + | *Programación Declarativa [http://www.inf-cr.uclm.es/www/pjulian/teaching/sl_apPD.pdf]. Consultado: 21 de enero del 2019 | |
| + | *Programación Declarativa [http://quegrande.org/apuntes/EI/2/PD/practicas/07-08/practica_13.pdf]. Consultado: 21 de enero del 2019 | ||
[[Categoría:Lenguajes de programación]] | [[Categoría:Lenguajes de programación]] | ||
[[Categoría:Paradigmas de programación]] | [[Categoría:Paradigmas de programación]] | ||
Revisión del 14:52 21 ene 2019
| ||||
Programación declarativa, en contraposición a la programación imperativa, es un paradigma de programación 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 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.
Sumario
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 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.[1]
Son fiables y expresivos.
Algunos lenguajes declarativos
- Haskell (Programación funcional)
- ML (Programación funcional)
- Lisp (Programación funcional)
- Prolog (Programación lógica)
- F-Prolog (Programación lógica difusa)
- Curry (Programación lógico-funcional)
- SQL
- QML
Fuentes
- Programación Declarativa [1]. Consultado: 21 de enero del 2019
- Programación Declarativa [2]. Consultado: 21 de enero del 2019
