I1M2010: Resolución de problemas de definiciones básicas de Haskell
El objetivo de la de hoy es aprender, resolviendo ejercicios, a definir funciones en Haskell mediante los procedimientos básicos y comprobar sus propiedades con QuickCheck.
En concreto, se han resuelto los ejercicios 4 (iniciales), 5 (prop_iniciales_ultimo), 6.1, 6.2 (cambioEuro), 6.3 (pesetas), 6.4 (euros), 6.5 (prop_EurosPesetas), 6.6, 6.7 y 11.1 (maxI) de la 2ª relación.
Como tarea para la próxima clase se ha propuesto escribir de manera colaborativa las soluciones de los restantes ejercicios de la 2ª relación y los ejercicios de la 3ª relación.