Evaluacion Funcional

Evaluación perezosa

Introducción

En informática, una estrategia de evaluación es un conjunto de reglas para evaluar expresiones en un lenguaje de programación. El énfasis se coloca típicamente en las funciones u operadores: una estrategia de evaluación define cuándo y en qué orden los argumentos a una función son evaluados, cuando se sustituyen en la función, y lo que la sustitución se forman. El cálculo lambda, un sistema formal para el estudio de las funciones, a menudo se ha utilizado para modelar estrategias de evaluación, en los que generalmente se llaman las estrategias de lucha. Algunas de las estrategias de evaluación más importantes son las evaluaciones aplicativas, que también se conoce como llamadas por valor (call by value) ya que se evalúan primero los argumentos de la función y se le pasan a la función sus valores, la estrategia de evaluación normal se conoce como llamada por nombre (call by name), indicando que se pasan las expresiones, en lugar de sus valores. Dichas expresiones no son evaluadas si no se necesita su valor, la estrategia de evaluación perezosa también se conoce como llamas por necesidad (call_by_need) ya que se evalúa un argumento cuando su valor se requiere primero. En la teoría de lenguajes de programación, La evaluación perezosa es una estrategia de evaluación que retrasa el cálculo de una 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 de ejecución de ciertas funciones de forma exponencial, comparado con otros tipos de evaluación. Cada técnica de implementación para la evaluación perezosa implica cierta sobrecarga en el retraso de la evaluación de una expresión. En reducción de grafos los gastos generales se expresa en gran medida en la creación y destrucción de piezas de gráfica.

...