I1M2010: Tipos y clases en Haskell
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: