En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se han estudiado las librerías de diccionarios y de conjuntos en Haskell.

Como primera aproximación se ha explicado su exposición en ¡Aprende Haskell por el bien de todos!. Concretamente las secciones: Data.Map y Data.Set.

En segundo lugar se ha comentado las funciones con las librerías con sus ejemplos:

• Manual de la librería de conjuntos Data.Set.
• Manual de la librería de diccionarios Data.Map.

Finalmente, para comentar las complejidades de las funciones, se ha visto la documentación de las librerías Data.Set y Data.Map.

En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos estudiado el tipo abstracto de datos de los conjuntos y tres de sus implementaciones en Haskell.

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 no ordenadas con duplicados,
• implementación en Haskell mediante listas no ordenadas sin duplicados,
• implementación en Haskell mediante listas ordenadas sin duplicados,
• 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.

Los apuntes correspondientes a la clase son