EVALUACIÓN PEREZ-OSA
Conceptos Básicos
Rodrigo Martínez MartínezMiguel Ángel Rocha Sifuentes
Efraín Martínez Villalobos
Que es 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.
Los beneficios de la evaluación perezosa
El incremento en el rendimiento al evitar cálculos 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 primitiva.
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.
Desventajas de la evaluación perezosa
es difícil de combinar con la operaciones típicas de programación imperativa. Como el manejo de excepciones. Como el manejo de excepciones o las operaciones de entrada/salida.
Expresiones
Sea V un conjunto de identificadores para ser usados como nombres de variables y C un conjunto de constantes con los elementos típicos c y v respectivamente. Se define el conjunto E expresiones del lenguaje.
Tipos Extendidos
Tipos.- sean TC un conjunto de constantes y TV un conjunto de identificadores con elementos típicos c y a respectivamente. Se define el conjunto T de expresiones de tipo
Usos Abstractos.- Sea D un reticulado completo con supremo, mínimo elemento y elemento típico d, y UV un conjunto de variables de uso con elemento típico. Llamamos el uso de una expresión al conjunto U de términos.
Los tipos extendidos son precisamente tipos con anotaciones para usos abstracto. Su definición formal es como sigue.
Tipos extendidos.- los tipos extendidos se comportan como vehículos para expresar otra información respecto al programa