I1M2017: Tipos y clases en Haskell
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
y de Emacs se ha comentado
- cómo obtener un tutorial con C-h t
- cómo ejecutar el juego de de la vida con M-x life
- cómo ejecutar el juego del psicoterapeuta con M-x doctor
Los apuntes correspondientes a la clase son