I1M2010: Definiciones 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 (p.e. naturales, listas y árboles).
Las transparencias usadas en la clase son las del tema 9 (páginas 1-24):