6INSTITUTO TECNOLGICO SUPERIOR DE CIUDAD ACUA
Materia:PROGRAMACIN LGICA FUNCIONAL
Catedrtico:M.I Jose Yahveh Contreras de los reyes
Trabajo:Unidad 3
Alumno:Ivan Alfredo Gomez Mendez
Carrera:Ingeniera en sistemas computacionales
Semestre:VII
Turno:Matutino
15 DE ABRIL 2015
ContenidoUnidad III: Evaluacin perezosa23.1. La estrategia de
evaluacin perezosa33.2. Tcnicas de programacin funcional
perezosa.3Conclusin:4Bibliografa web:5
Unidad III: Evaluacin perezosa
En lateora de lenguajes de programacin, Laevaluacin
perezosaollamada por necesidades 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.3.1. La estrategia de
evaluacin perezosa Una estrategia de evaluacin es un conjunto de
reglas para evaluar expresiones en un lenguaje de programacin.Una
estrategia de evaluacin define cundo y en qu orden los argumentos a
una funcin son evaluados, cuando se sustituyen en la funcin, y lo
que la sustitucin se forman.Las estrategias de evaluacin se dividen
en dos grupos bsicos, estrictos y no estrictos, basados en cmo se
manejan los argumentos de una funcin.Estrategias bsicasUna expresin
que consta de una funcin aplicada a uno o ms parmetros y que puede
ser "reducida" aplicando dicha funcin la vamos a llamar Redex
(Reducible Expression).TiposDe adentro hacia afuera o
call-by-valueDe afuera hacia adentro o call-by-nameEvaluaciones que
no terminan
3.2. Tcnicas de programacin funcional perezosa.
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 las 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.
Conclusin
La evaluacin perezosa nos sirve para retrasar el clculo de una
expresin hasta que el valor que se le indique sea necesario.La
evaluacin perezosa tiene ciertos beneficios como la reduccin de
consumo de memoria de una aplicacin, ya que los valores se crean
solo cuando se necesita. Sin embargo, es difcil de combinar con las
operaciones tpicas de programacin imperativa, como el manejo de
excepciones
Bibliografa
web:http://es.wikipedia.org/wiki/Evaluaci%C3%B3n_perezosahttps://prezi.com/lhnyd5gqlj_-/unidad-3-evaliacion-perezosa/http://itpn.mx/recursosisc/8semestre/programacionlogicayfuncional/Unidad%20III.pdf
Carretera a Presa La Amistad Km 9, Cd. Acua, Coah., C.P.
26220Apartado Postal No. 666, Tel (877) 773 18 00, Fax (877) 773 18
01Correo electrnico: [email protected]:
www.tecnologicodeacuna.edu.mx
