I1M2014: Definición de funciones elementales en Haskell
En la segunda parte de la clase de hoy del curso Informática (de 1º de Grado en Matemáticas) se ha estudiado cómo definir funciones en Haskell usando los formas básicas: composición, condicionales, guardas y patrones.
También se ha explicado cómo comprobar con QuickCheck propiedades de programas. Como ejemplo, se han comentado la comprobación de la equivalencia de las distintas definicones propuestas en la 1ª relación de ejercicios.
Como tarea para la próxima clase se ha propuesto resolver de manera colaborativa los ejercicios de la 2ª relación.
Las transparencias usadas en la clase son las del tema 4.