I1M2010: El tipo abstracto de datos de las colas en Haskell
En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos continuado el estudio de los tipos abstractos (TAD) de datos en Haskell, siguiendo el esquema de las pilas hemos estudiado las colas.
Se ha comenzado la modelización de las pilas observando la forma de introducir o extraer sus elementos. El resultado de la modelización es la especificación del TAD: su signatura y propiedades características.
A continuación se han estudiados dos implementaciones (una basada listas y la otra en pares de listas).
Se ha vuelto a resaltar la forma de conseguir la abstracción de tipos en Haskell mediante módulos y exportación sólo de la signatura.
Finalmente, usando QuickCheck se comprueban las propiedades características del TAD de las colas.
Como ejercicios sobre el TAD de las colas se ha propuesto la relación 25.
Las transparencias usadas en la clase son las del tema 15: