I1M2015: Definiciones por recursión (2)
En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se ha continuado el estudio de las definiciones por recursión en Haskell. Concretamente,
- heurísticas para las definiciones recursivas,
- recursión sobre varios argumentos,
- recursión múltiple y
- recursión mutua.
En la segunda parte se ha comentado algunos de los materiales anunciados en el Twitter del curso:
- El libro de P. Hudak The Haskell school of music (from signals to symphonies),
- la guía de estilo de Haskell,
- el mini manual de emacs y
- el tríptico de emacs
Finalmente, comentamos la metodología de trabajo con el blog de problemas Exercitium.
Las transparencias usadas en la clase son las del tema 6:
El código correspondiente se encuentra en GitHub.