I1M2015: Definiciones de tipos en Haskell
En 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 visto
- 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, las listas y los árboles
Se ha insistido en la metodología de definición de funciones recursivas sobre tipos de datos escribiendo una ecuación por cada uno de los constructores del tipo de dato.
Finalmente, se comentaron las distintas soluciones del problema Números muy divisibles por 3 y la comparación de la eficiencia.
Las transparencias usadas en la clase son las paginas 1 a 21 del tema 9: