I1M2018

En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se ha explicado la primera parte del tema 5 en la que se estudia cómo definir funciones en Haskell usando listas de comprensión. En concreto, hemos visto cómo definir:

• listas con un generador,
• listas con varios generadores,
• listas con generadores dependientes y
• listas con guardas,
• listas de comprensión con emparejamientos.

También se han estudiados las cadenas como caso particular de listas y cómo aplicar definiciones por comprensión a cadenas.

También se ha explicado cómo usar QuickCheck para la

• comprobar propiedades y
• refutar propieades.

Los apuntes utilizados son los del tema 5

En la segunda parte de la clase de hoy del curso Informática (de 1º de Grado en Matemáticas) se ha explicado el tema 4 donde se estudia cómo definir funciones en Haskell usando los formas básicas: composición, condicionales, guardas y patrones.

Como tarea para la próxima clase se ha propuesto resolver de manera colaborativa los ejercicios de la 2ª relación.

Los apuntes utilizados son los del tema 4

En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha explicado el tema 3 en el que se introducen 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 los tipos básicos (Bool, Char, String, Int, Integer, Float y Double),
• cuáles son los tipos compuestos (listas, tuplas y funciones),
• 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.

Además se ha comentado de GHCi

• cómo obtener la ayuda con :help
• cómo obtener el tipo de una expresión con :type o, simplemente, :t
• como activar la información de tipos con :set +t
• como activar la información de tipos con :unset +t
• cómo obtener información con :info

Los apuntes utilizados son los del tema 3

En la clase de hoy del curso de Informática de 1º del Grado en Matemáticas hemos comentado soluciones de los 8 primeros ejercicios de la 1ª relación sobre definiciones por composición de funciones sobre números, listas y booleanos.

En el comentario de algunos ejercicios se ha indicado:

• el uso creativo del fallo; es decir, cómo a partir de una definición incorrecta se puede obtener otra correcta y
• la comparación de eficiencia de soluciones, activando las estadísticas con :set +s

Los ejercicios y su solución se muestran a continuación
Read More “I1M2018: Ejercicios de definiciones por composición sobre números y listas (1)”