Evaluacin perezosa

De Wikipedia, la enciclopedia libre

Saltar a: navegacin, bsqueda
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.

Ejemplo:
La expresin masUno (2*3) puede ser evaluada de la siguiente forma
masUno (2*3)
aplicamos *
masUno 6
aplicamos masUno
6+1
aplicamos +
7

Blibliografias:

http://itpn.mx/recursosisc/8semestre/programacionlogicayfuncional/Unidad
%20III.pdf

http://www.fceia.unr.edu.ar/lcc/t321/archivos/evaluacion_perezosa.pdf

https://prezi.com/lhnyd5gqlj_-/unidad-3-evaliacion-perezosa/