263796765 Apuntes Unidad 3 Programacion Logico Y Funcional Ing Yahveh
Páginas: 4 (782 palabras)
Publicado: 5 de mayo de 2015
Evaluación Perezosa
En la teoría de lenguajes de programación, La evaluación perezosa (del inglés lazy evaluation) o llamada por necesidad es una estrategia de evaluación que retrasa el cálculo deuna expresión hasta que su valor sea necesario, y que también evita repetir la evaluación en caso de ser necesaria en posteriores ocasiones. Esta compartición del cálculo puede reducir el tiempo deejecución de ciertas funciones de forma exponencial, comparado con otros tipos de evaluación.
Los beneficios de la evaluación perezosa son:
El incremento en el rendimiento al evitar cálculosinnecesarios, 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 comoabstracciones, en lugar de operaciones primitivas.
La evaluación perezosa puede también reducir el consumo de memoria de una aplicación, ya que los valores se crean solo cuando se necesitan. Sin embargo,es difícil de combinar con las operaciones típicas de programación imperativa, como el manejo de excepciones o las operaciones de entrada/salida, porque el orden de las operaciones puede quedarindeterminado. Además, la evaluación perezosa puede conducir a fragmentar la memoria.
Lo contrario de la evaluación perezosa sería la evaluación acaparadora, o evaluación estricta, que es el modo deevaluación por defecto en la mayoría de los lenguajes de programación.
3.1. La estrategia de evaluación perezosa
Las estrategias de evaluación se dividen en dos grupos básicos, estrictos y no estrictos,basados en cómo se manejan los argumentos de una función.
Una expresión que consta de una función aplicada a uno o más parámetros y que puede ser "reducida" aplicando dicha función la vamos a llamar Redex(Reducible Expression).
Tipos
De adentro hacia afuera o call-by-value:
Esta estrategia elige el redex que está "más adentro" entendiendo por esto al redex que no contiene otro redex. Si existe...
En la teoría de lenguajes de programación, La evaluación perezosa (del inglés lazy evaluation) o llamada por necesidad es una estrategia de evaluación que retrasa el cálculo deuna expresión hasta que su valor sea necesario, y que también evita repetir la evaluación en caso de ser necesaria en posteriores ocasiones. Esta compartición del cálculo puede reducir el tiempo deejecución de ciertas funciones de forma exponencial, comparado con otros tipos de evaluación.
Los beneficios de la evaluación perezosa son:
El incremento en el rendimiento al evitar cálculosinnecesarios, 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 comoabstracciones, en lugar de operaciones primitivas.
La evaluación perezosa puede también reducir el consumo de memoria de una aplicación, ya que los valores se crean solo cuando se necesitan. Sin embargo,es difícil de combinar con las operaciones típicas de programación imperativa, como el manejo de excepciones o las operaciones de entrada/salida, porque el orden de las operaciones puede quedarindeterminado. Además, la evaluación perezosa puede conducir a fragmentar la memoria.
Lo contrario de la evaluación perezosa sería la evaluación acaparadora, o evaluación estricta, que es el modo deevaluación por defecto en la mayoría de los lenguajes de programación.
3.1. La estrategia de evaluación perezosa
Las estrategias de evaluación se dividen en dos grupos básicos, estrictos y no estrictos,basados en cómo se manejan los argumentos de una función.
Una expresión que consta de una función aplicada a uno o más parámetros y que puede ser "reducida" aplicando dicha función la vamos a llamar Redex(Reducible Expression).
Tipos
De adentro hacia afuera o call-by-value:
Esta estrategia elige el redex que está "más adentro" entendiendo por esto al redex que no contiene otro redex. Si existe...
Leer documento completo
Regístrate para leer el documento completo.