Please enable JavaScript.
Coggle requires JavaScript to display documents.
Un panorama de la Programación Declarativa - Coggle Diagram
Un panorama de la Programación Declarativa
Programación funcional
Están organizados en el concepto de función y su definición mediante ecuaciones que constituyen el programa.
Se centra en la evaluación de funciones para obtener un valor
Los lenguajes funcionales modernos son fuertemente basados en tipos (Strongly Typed)
Programación declarativa
Es un estilo de programación donde el programador especifica que debe computarse, más bien como deben realizarse los computos.
El programador tendrá que centrar la atención dejando el control de lado.
Programación Lógica
Se basa en fragmentos de la lógica de predicados
Por semántica declarativa se utiliza una semántica por teoría de modelos
Lenguajes Convencionales
Están inspirados en la arquitectura Von Neumann
En esencia, son una extensión del lenguaje maquina
Aspectos fundamentales de la programación
Aspectos lógicos
Aspectos de control
Requisitos que debe cumplir la lógica
Disponer de un lenguaje que sea lo suficientemente expresivo
Disponer de una semántica operacional.
Disponer de un lenguaje que sea lo suficientemente expresivo
Resultados de corrección y completitud
