I1M2015: Evaluación perezosa en Haskell

En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado la evaluación perezosa en Haskell. Se han visto la estrategias de evaluación perezosa e impaciente, se han comparado respecto de la terminación y el número de pasos necesarios en las computaciones, se ha aplicado a la computación con estructuras infinitas y se han visto casos en los que se aumenta la eficiencia con evaluación estricta.

Como ejemplo, se ha estudiado el cálculo de los números primos mediante la criba de Erastótenes.

Finalmente, se ha explicado cómo instalar la librería de números primos mediante las siguientes órdenes del sistema

Como aplicación de la librería se han realizado cálculos con los primos de Mersenne.

Las transparencias usadas en la clase son las del tema 10