elementos declarativos en la construcción de software
Preview:
Citation preview
- 1. La programacin declarativa es una forma de programacin que
implica la descripcin de un problema dado en lugar de proveer una
solucin para dicho problema, dejando la interpretacin de los pasos
especficos para llegar a dicha solucin a un intrprete no
especificado. Estn orientados a buscar la solucin del problema, sin
preocuparse por la forma de llegar a ello. Los programas estn
formados por un conjunto de definiciones o ecuaciones.Las variables
slo pueden tener asignado un solo valor a lo largo de la ejecucin
del programa. Las listas representan la estructura fundamental de
datos. El orden de la ejecucin no resulta importante debido a que
no existen efectos colaterales. Las expresiones o definiciones
pueden ser usadas como valores . El control de la ejecucin no es
responsabilidad del programador.
- 2. La programacin funcional es un paradigma de programacin
declarativa basado en la utilizacin de funciones matemticas.