• Repaso de algunas soluciones de la clase anterior
• Trabajar sobre programas recursivos numéricos y con listas
• Sintáxis de pattern matching
• Resolución de ejercicios

Veamos algunas soluciones presentadas Wiki de Scripts Haskell.

Notamos

• No hay una única forma de resolver un problema.
• Como podemos hacer control de los parámetros de entrada.
• Cláusula otherwise para análisis por casos.
• Comentarios en el código.
• Uso del if-then-else en vez de análisis por casos.
• ¿Guardas exhaustivas? y uso del cálculo proposicional.
• No se usaron definiciones locales para la función de cálculo de área.

Se aprende muchísimo leyendo detenidamente código bien escrito.

Hasta ahora vimos programas funcionales no recursivos, que se basaban en la composición de funciones de la bibilioteca (prelude) y las definidas en Scripts de Haskell.

Veamos la última función no recursiva que vamos a plantear, que sirve para presentar el mecanismo de pattern matching.

Ejercicio 8
Definir la función cabeza:[A]->A que devuelve el primer elemento de la lista.

Por ejemplo cabeza [4,3,2] reduce a la forma canónica '2'.

El mecanismo básico para poder destruir una lista en partes es el pattern matching, que es una especie de definición por casos que a su vez es capaz de dividir la lista en su cabeza y cola

cabeza :: [a] -> a
cabeza (x:xs) = x

Podemos agregar esta definición a un script de Haskell con nombre practico8.hs.
Evaluemos algunos casos.

Main> cabeza [1,2,3]
1
Main> cabeza "minombre"
'm'
Main> cabeza []

Program error: pattern match failure: cabeza []

También tenemos pattern matching numérico. Vemos como escribir una funcion que devuelve verdadero si el número es 0 o 1 (puede ser útil para el ejercicio 17)