EVALUACION PEREZOSA

Leo Yamm 'C'
Mind Map by Leo Yamm 'C', updated more than 1 year ago
Leo Yamm 'C'
Created by Leo Yamm 'C' over 6 years ago
4864
1

Description

MAPA CONCEPTUAL

Resource summary

EVALUACION PEREZOSA
  1. CONCEPTO
    1. 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.
    2. TIPOS DE ESTRATEGIAS
      1. De adentro hacia fuera o Call - by - value
        1. Esta estrategia elige el redex que esta mas adentro, entendiendo que el redex no tiene otro redex. Si existe mas de un redex que cumple dicha condición se elige el que esta mas a la izquierda.
        2. De afuera hacia adentro o Call - by - name
          1. Elije al redex que se encuentra mas afuera. Si existe mas de un redex, que cumple dicha condición se elige el que esta mas a la izquierda.
          2. Evaluaciones que no terminan
          3. FUNCIONES
            1. 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 la 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 quedar indeterminado. 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 de evaluación por defecto en la mayoría de los lenguajes de programación.
            2. VENTAJAS Y DESVENTAJAS
              1. 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.
                1. Una característica singular de Haskell es su carácter perezoso, frente al impaciente de la mayoría de los restantes lenguajes. Los lenguajes perezosos usan evaluación perezosa; es decir, al evaluar una expresión evalúan sus argumentos sólo cuando los necesita. De manera opuesta, en la evaluación impaciente los argumentos de las expresiones se evalúan antes que las expresiones. En esta entrada presento un ejercicio para Informática (del Grado de Matemáticas) con objeto de resaltar la ventaja de la evaluación perezosa de Haskell frente a la evaluación impaciente de Maxima. Para ello compararé sus rendimientos al calcular los k primeros elementos de una lista con definiciones semejantes en Haskell y Maxima. Continuar leyendo Ventajas de la pereza en el problema de los k menores elementos
                2. TÉCNICAS DE LA EVALUACIÓN FUNCIONAL
                  1. TÈCNICA DE BACKTRAKING
                    1. Si una alternativa falla, el flujo retrocede hasta la ultima desicioó e intenta de nuevo.
                    2. TÉCNICA DE GUARDIAS
                      1. Si mas de una es cierta, se escoge cualquiera de ellas.
                      2. TÉCNICA DE APRENDIZAJE REFORSADO
                        1. Recordar decisiones exitosas y aumentar su prioridad así como considerar las decisiones en el contexto del estado mutable.
                      Show full summary Hide full summary

                      Similar

                      Programación Funcional Perezosa
                      Abisur Simei Diaz Ramirez
                      Summary of Definitions/Key Terms for the PMP Exam
                      Andrea Leyden
                      An Inspector Calls: Mr Arthur Birling
                      Rattan Bhorjee
                      Of Mice and Men Characters - Key essay points
                      Lilac Potato
                      Geography - Case Studies
                      jacobhatcher97
                      GCSE AQA Biology 3 Kidneys & Homeostasis
                      Lilac Potato
                      PSBD TEST # 3
                      yog thapa
                      PSBD TEST # 3_1
                      yog thapa
                      Junior Cert Physics formulas
                      Sarah Egan
                      Testing for ions
                      Joshua Rees
                      Část 4.
                      Gábi Krsková