Pregunta C: Paradigma Declarativo

Funciones de Orden Superior
Son funciones que se aplican sobre otras funciones, es decir, una función puede ser el valor de una expresión, pasarse como argumento o colocarse en una estructura de datos. Esto favorece el uso de recursividad y anidamiento, permitiendo un desarrollo más eficiente de aplicaciones.

Transparencia referencial
La transparencia referencial se refiere a la no existencia de efectos laterales por asignaciones destructivas. Cuando una expresión 'e' es sustituida por un valor 'v', siendo 'v' el resultado de evaluar 'e', la semántica del programa no se altera. La transparencia referencial es muy útil a la hora de modificar un programa, ya que no tenemos que preocuparnos porque las modificaciones que hagamos en una parte del mismo afecten los cálculos que se hacen en otras. También es muy poderosa a la hora de verificar un programa (demostrar matemáticamente que cumple la especificación), ya que podemos utilizar propiedades ya demostradas de todas las subexpresiones que constituyen una expresión y que valen en cualquier contexto.Esta propiedad no se da en lenguajes imperativos.

Inferencia de Tipos
La inferencia de tipos asigna automáticamente un tipo de dato a una función sin necesidad de que el programador lo describa. El tipo de las funciones es reconstruido a partir de un analisis estático del programa realizado por el compilador del lenguaje, a partir de las definiciones previas y del uso de las variables en el cuerpo de las funciones.

Evaluación Perezosa
La evaluación perezosa es raramente implementada en programación imperativa. Propone evaluar los argumentos sólo si es necesario y sólo una vez (call-by-nedd). Ahorra trabajo no necesario aumentando la eficiencia.

Bibliografia:
http://es.wikipedia.org/wiki/Paradigma_declarativo
http://www.lcc.uma.es/~jmmb/declarativa/ApuntesPF2004/ProgFunIV.pdf