En la teora de lenguajes de programacin, La evaluacin perezosa (del ingls lazy

evaluation) o llamada por necesidad es una estrategia de evaluacin que retrasa el clculo
de una expresin hasta que su valor sea necesario, y que tambin evita repetir la evaluacin
en caso de ser necesaria en posteriores ocasiones. Esta comparticin del clculo puede
reducir el tiempo de ejecucin de ciertas funciones de forma exponencial, comparado con
otros tipos de evaluacin.
Los beneficios de la evaluacin perezosa son:

El incremento en el rendimiento al evitar clculos innecesarios, y en tratar condiciones

de error al evaluar expresiones compuestas.

La capacidad de construir estructuras de datos potencialmente infinitas.

La capacidad de definir estructuras de control como abstracciones, en lugar de

operaciones primitivas.

La evaluacin perezosa puede tambin reducir el consumo de memoria de una aplicacin, ya

que los valores se crean solo cuando se necesitan. Sin embargo, es difcil de combinar con la
operaciones tpicas de programacin imperativa, como el manejo de excepciones o las
operaciones de entrada/salida, porque el orden de las operaciones puede quedar
indeterminado. Adems, la evaluacin perezosa puede conducir a fragmentar la memoria.
Lo contrario de la evaluacin perezosa sera la evaluacin acaparadora, o evaluacin estricta,
que es el modo de evaluacin por defecto en la mayora de los lenguajes de programacin.

Licks:
http://www.lcc.uma.es/~pacog/apuntes/pd/cap08.pdf
https://www.cs.us.es/~jalonso/cursos/i1m-11/temas/2011-12-IM-temas-PF.pdf
http://www.ucasal.edu.ar/htm/ingenieria/cuadernos/archivos/3-p63-Rivadera.pdf
http://ldc.usb.ve/~suarez/papers/lazyOpt.pdf