Lenguaje de programación declarativo
- Lenguaje de programación declarativo
-
Lenguaje de programación declarativo
En ciencias computacionales, los lenguajes declarativos son aquellos lenguajes de programación en los cuales se le indica a la computadora que es lo que se desea obtener o que es lo que se está buscando.
Tienen como característica ser fiables, elegantes y expresivos.
Existen varios tipos de lenguajes declarativos:
- Los lenguajes lógicos, como Prolog.
- Los lenguajes algebraicos, como Maude y SQL
- Los lenguajes funcionales, como Haskell
Véase también
Categoría: Lenguajes de programación
Wikimedia foundation.
2010.
Mira otros diccionarios:
Lenguaje de programación declarativo — Se les conoce como lenguajes declarativos en ciencias computacionales aquellos lenguajes de programación en los cuales se le indica a la computadora que es lo que se desea obtener o que es lo que se esta buscando, p. ej. Obtener los nombres de… … Enciclopedia Universal
Lenguaje de programación Gödel — Saltar a navegación, búsqueda Gödel es un lenguaje de programación declarativo, de propósito general que adhiere al paradigma de la programación lógica. Es un lenguaje fuertemente tipado, con un sistema de tipos basado en many sorted logic con… … Wikipedia Español
Lenguaje de programación Gödel — Gödel es un lenguaje de programación declarativo, de propósito general que adhiere al paradigma de la programación con lógica. Es un lenguaje fuertemente tipificado, con un sistema de tipos basado en many sorted logic con polimorfismo… … Enciclopedia Universal
Lenguaje de programación — Captura de la microcomputadora Commodore PET 32 mostrando un programa en el lenguaje de programación BASIC, bajo el emulador VICE en una distribución GNU/Linux. Un lenguaje de programación es un idioma artificial diseñado para expresar… … Wikipedia Español
Lenguaje de programación multiparadigma — Un lenguaje de programación multiparadigma es el cual soporta más de un paradigma de programación. Según lo describe Bjarne Stroustrup, permiten crear “programas usando más de un estilo de programación”. El objetivo en el diseño de estos… … Wikipedia Español
Gödel (lenguaje de programación) — Gödel es un lenguaje de programación declarativo, de propósito general que adhiere al paradigma de la programación lógica. Es un lenguaje fuertemente tipado, con un sistema de tipos basado en many sorted logic con polimorfismo parametrizado. Se… … Wikipedia Español
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 programas especificando o declarando un conjunto de condiciones, proposiciones, afirmaciones,… … Wikipedia Español
Lenguajes de programación Von Neumann — Este artículo o sección tiene un estilo difícil de entender para los lectores interesados en el tema. Si puedes, por favor edítalo y contribuye a hacerlo más accesible para el público general, sin eliminar los detalles técnicos que interesan a… … Wikipedia Español
Mercury (lenguaje) — Mercury es un lenguaje lógico funcional, es decir, integra soluciones puras y computación con información parcial. Contenido 1 Historia 2 Tipacion de datos 3 Determinismo 4 Ventajas … Wikipedia Español
MHEG-5 — MHEG 5, o ISO/IEC 13522 5,es un estándar completo para TV interactiva y fue desarrollado por el MHEG (ISO Multimedia and Hypermedia information coding Expert Group) y el Digital Audio Video Council (DAVIC) desde 1995. Es parte de un sistema de… … Wikipedia Español