PFH: Tipos y clases en Haskell

He añadido a la lista Programación funcional con Haskell el vídeo Tipos y clases en Haskell en el que se presenta una introducción a los tipos y clases de tipos 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.

El vídeo es

Los apuntes correspondientes son

Una versión interactiva de los apuntes en IHaskell se encuentra aquí.