En la primera parte de la clase de hoy del curso de Informática de 1º del Grado en Matemáticas se ha estudiado el TAD (tipo abstracto de datos) de las tablas y tres implementaciones en Haskell: como funciones, como listas de asociación y como matrices.
Una tabla es una colección de elementos (valores) a los que se accede mediante sus índice.
Se ha seguido el mismo patrón que en los anteriores tipos de datos:
- elección de las operaciones básicas,
- especificación de sus propiedades,
- implementación en Haskell mediante funciones,
- implementación en Haskell mediante listas de asociación,
- implementación en Haskell mediante matrices,
- análisis de la complejidad de las definiciones de las operaciones básicas en las tres implementaciones y
- verificación con QuickCheck de sus propiedades características.
Las transparencias usadas en la clase son las del tema 18