Documente Academic
Documente Profesional
Documente Cultură
SEMESTRE: AGO-DIC/2012
TRABAJO: INVESTIGACIN
QU ES LA EVALUACIN PEREZOSA?
Evaluacin impaciente (eager): el evaluador hace todo lo que puede. Corresponde a llamada por-valor.
Significa: Haz slo lo que te pida un patrn a la izquierda de una ecuacin o cualificador (where o let).
Es una estrategia de evaluacin que retrasa la evaluacin de una expresin hasta que el valor de esto realmente se requiera (evaluacin no estricta) y que tambin evita evaluaciones repetidas (compartimiento de ciencias informticas). El compartimiento puede reducir la duracin de ciertas funciones por un factor exponencial sobre otras estrategias de evaluacin no estrictas, como la llamada de nombre.
El rendimiento aumenta debido a evitacin de clculos innecesarios y evitacin de condiciones de error en la evaluacin de expresiones compuestas.
La capacidad de definir estructura de control como abstracciones en vez de como obras primitivistas.
2
La evaluacin perezosa puede llevar a la reduccin de la huella de memoria, ya que los valores se crean cuando necesario. Sin embargo, con la evaluacin perezosa, es difcil combinarse con rasgos imperativos como la excepcin que se maneja (manejo de la excepcin) y entrada/salida (entrada/salida), porque el pedido de operaciones se hace indeterminado. La evaluacin perezosa puede introducir el agujero espacial. Tambin, la depuracin es difcil.
mult (x,y) = x * y
mult (1+2,2+3)
= 15 [por def. de *]
mult (1+2,2+3)
= 15 [por def. de *]