I1M2017: Definiciones de tipos en Haskell

PorJosé A. Alonso

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.

Como tarea para la próxima clase se ha propuesto resolver de manera colaborativa los ejercicios de la 8ª relación

Los apuntes correspondientes a la clase son

I1M2017: Funciones de orden superior en Haskell

PorJosé A. Alonso

En la clase de hoy de Informática de 1º del Grado en Matemáticas se han estudiado las funciones de orden superior.

En primer lugar, se han estudiado las funciones de procesamiento de listas (map y filter).

En segundo lugar, se ha estudiado cómo puede abstraerse los esquemas definición de funciones de recursión sobre listas mediante la función de plegado (foldr) y cómo con dicha función puede simplificarse la definición de funciones.

A continuación se ha visto cómo definir funciones con acumuladores y cómo simplificarlas con el patrón de plegado por la izquierda (foldl).

Finalmente, se ha visto cómo puede simplificarse la definición de funciones usando el operador de composición.

Los apuntes correspondientes a la clase son las 5 primeras secciones del tema 7

Además, se ha comentado la librería de números primos:

  • Se instala con la orden cabal install primes
  • Su manual con ejemplos se ecuentra aquí

Por último, se ha comentado el blog de ejercicios (Exercitium)

  • Cada día, de lunes a viernes, se propone a las 7:00 un ejercicio.
  • Los ejercicios están clasificados por niveles: inicial, medio y avanzado (como resultado de las puntuaciones que reciban).
  • Se pueden escribir las soluciones en los comentarios.
  • Usar como nombre de usuario el UVUS.
  • El código se debe escribir entre una línea con <pre lang=”haskell”> y otra con </pre>
  • Sólo publicar soluciones distintas de las publicadas.
  • Se puede votar las soluciones publicadas.