I1M2017: Definiciones por comprensión
En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha explicado la primera parte tema 5 en la que se estudia cómo definir funciones en Haskell usando listas de comprensión. En concreto, hemos visto cómo definir:
- listas con un generador,
- listas con varios generadores,
- listas con generadores dependientes y
- listas con guardas.
También se ha explicado cómo instalar QuickCheck usando
1 2 3 |
cabal update cabal install QuickCheck |
y cómo usar QuickCheck para comprobar propiedades.
Las transparencias usadas en la clase son las correspondientes a las dos primeras sesiones del tema 5