Recursividad en haskell

De Uqbar wiki

Una función recursiva es aquella que en su definición se invoca a sí misma. La misma por lo general cuenta con una definición recursiva y al menos un caso base que corta la recursividad.

Recursividad sin listas

Un ejemplo clásico de recursividad es [http://es.wikipedia.org/wiki/Sucesi%C3%B3n_de_Fibonacci Fibonacci].
fibonacci 0 = 0
fibonacci 1 = 1
fibonacci n = fibonacci (n-1) + fibonacci (n-2)

Esta función tiene dos casos base para el 0 y el 1 (ya que la definición recursiva requiere el resultado para los dos números anteriores, no alcanza con un solo caso base) y para todos los otros números una definición recursiva genérica.

Es necesario definir primero los casos base, ya que la variable n es un patrón demasiado genérico, tanto el 0 como el 1 matchean con la variable n, por ende deben definirse antes los casos para el 0 y para el 1 para que sean encontrados primero por el motor de Haskell.

Para pensar: qué pasa si la consulta realizada es

fibonacci (-1)

Dado que la tercer definición admite números negativos va a entrar en un loop infinito. Como no es correcto usar fibonacci con números negativos, podríamos mejorar nuestra definición restringiendo el dominio de la función usando guardas de esta forma:

fibonacci 0 = 0
fibonacci 1 = 1
fibonacci n | n >= 2 = fibonacci (n-1) + fibonacci (n-2)

Ahora el resultado de aplicar fibonacci con un número negativo sería un error ya que no hay ninguna definición válida para el valor indicado :)

Recursividad con listas

Siendo las listas estructuras recursivas (compuestas por una cabeza y una cola que a su vez es una lista) la forma más natural para trabajar con ellas es recursivamente. La lista [1,2,3] puede también escribirse como 1:2:3:[] (donde el : es la función usada para armar listas y puede ser usada convenientemente para pattern matching)

Un ejemplo fácil es el length.

length [] = 0
length (x:xs) = 1 + length xs

Usamos el patrón de lista vacía [] para el caso base, ya que la segunda definición indefectiblemente nos llevará a ella, y el patrón de cabeza y cola para poder avanzar de a un paso por la estructura y poder procesarla fácilmente. En este caso particular no importa el orden de las definiciones, ya que la lista con al menos un elemento no matchea con la lista vacía y viceversa.

Loops infinitos

Analicemos la siguiente función:

muchosDe n = n:(muchosDe n)

Si consultamos en el intérprete

> muchosDe 5

Esta función no podría terminar nunca, ya que no hay ningún punto en el que se corte la recursividad. Sin embargo, lo que sí podríamos hacer con esta función es usarla en un contexto que acote la ejecución gracias a la evaluación perezosa. Veamos el siguiente ejemplo:

> (sum.take 10.muchosDe) 5
50

Latest update on July 17, 2017 by GitHub