I1M2010

En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado la resolución de los 12 primeros ejercicios de la 14ª relación.

Los ejercicios y su solución se muestran a continuación
Read More “I1M2010: Ejercicios de Haskell (relación 14)”

En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado los tipos y las clases en Haskell. Los objetivos de tema son aprender

• qué es un tipo,
• cómo expresar que una expresión tiene un tipo determinado,
• cómo preguntar a Haskell por el tipo de una expresión,
• cómo determinar el tipo de una expresión,
• cuáles son las ventajas de los tipos en programación,
• cuáles son los tipos básicos (Bool, Char, String, Int, Integer, Float y Double),
• cuáles son los tipos compuestos (listas, tuplas y funciones),
• cómo usar funciones parcializadas,
• qué es el polimorfismo y la sobrecarga de funciones y
• cuáles son las clases básicas (Eq, Ord, Show, Read, Num, Integral y Fractional), sus métodos e instancias.

Las transparencias usadas en la clase son las del tema 3:
Read More “I1M2010: Tipos y clases en Haskell”

En 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.

Las transparencias usadas en la clase son las del tema 10:
Read More “I1M2010: Evaluación perezosa en Haskell”

En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado la resolución de ejercicios de la 12ª relación y de ka 13ª relación.

Los ejercicios de la relación 12 y su solución se muestran a continuación
Read More “I1M2010: Ejercicios de Haskell (relaciones 12 y 13)”