I1M2012: Definición de tipos de datos en Haskell
En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado la definición de nuevos tipos de datos y de funciones sobre dichos tipos. Concretamente, se ha estudiado
- cómo definir tipos usando type,
- cómo definir funciones con dominio o rango en tipos definidos usando type,
- cómo definir tipos usando data,
- cómo definir funciones con dominio o rango en tipos definidos usando
data y - cómo definir tipos de datos recursivos usando como ejemplo los naturales y las listas.
Las transparencias usadas en la clase son las páginas 1 a 17 del tema 9: