Transcripci n de Unidad 3

Transcripción de Unidad 3. Evaliación perezosa
Ejercicios en Haskell
Haskell es un lenguaje de programación estandarizado multi-propósito funcional tipificado, con funciones de orden superior,polimorfismo, sistema de clases de tipos, evaluación perezosa… con semánticas no estrictas y fuerte tipificación estática
3.2 TÉCNICAS DE PROGRAMACIÓN FUNCIONAL PEREZOSA
La semántica adoptada para el nodeterminismo es la de elección en la invocación (call-time choice), por resultar más natural para la programación y más eficaz en la ejecución al corresponderse con el mecanismo de compartición.Ejercicio 1:
Dado un numero entero separar el primer digito haciendo uso de la función mod n 10 para luego sumar al cociente de la división del numero n entre 10, (div n 10).
Ejercicio 2
Programa que ordenenúmeros de menor a mayor.
3.1 Estrategia de la evaluación perezosa
3.2 Técnicas de la programación funcional perezosa
UNIDAD 3. EVALUACIÓN PEREZOSA
Una estrategia de evaluación es un conjunto dereglas para evaluar expresiones en un lenguaje de programación. 
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, ylo que la sustitución se forman.

3.1 ESTRATEGIA DE LA 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 losargumentos 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). Estrategias básicas
Tipos
:
De adentro hacia afuera o call-by-value
De afuera hacia adentro o call-by-name
Evaluaciones que no terminan
De adentro hacia afuera o call-by-value:
esta estrategia elige elredex que está "más adentro" entendiendo por esto al redex que no contiene otro redex. Si existe más de un redex que cumple dicha condición se elige el que está más a la izquierda.
aplicamos el...