I1M2019: Tipos y clases en Haskell
En la primera parte de 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
Una versión interactiva de los apuntes en IHaskell se encuentra aquí.