Episodio

Conferencias C9: Dr. Erik Meijer - Fundamentos de programación funcional Capítulo 6 de 13

En el capítulo 6, el Dr. Meijer nos guía por el mundo de las funciones recursivas. En Haskell, las funciones se pueden definir en términos propios. Estas funciones se denominan recursivas.

Por ejemplo:

factorial 0 = 1
factorial (n+1) = (n+1) * factorial n

factorial asigna de 0 a 1, y cualquier otro entero positivo al producto de sí mismo y el factorial de su predecesor.

Algunas funciones, como factorial, son más sencillas de definir en términos de otras funciones. Como veremos, sin embargo, muchas funciones se pueden definir naturalmente en términos de sí mismos.

Las propiedades de las funciones definidas mediante recursividad se pueden demostrar mediante la técnica matemática simple pero eficaz de la inducción.

Debe verlos en secuencia (o omitir en función del nivel de conocimiento en este dominio):

Capítulo 1Capítulo 2Capítulo 3Capítulo 4 Capítulo 5Capítulo 6Capítulo 7Capítulo 8Capítulo 9 Capítulo 10Capítulo 11 Capítulo 12Capítulo 13

Haskell