No.4°

Conclusión

Las funciones recursivas se invocan a sí mismas, permitiendo que una operación se realice una y otra vez hasta alcanzar el caso base. La mayoría de los lenguajes de programación funcional de propósito general permiten la recursividad sin restricciones y superan el test de Turing, lo que hace que el programa que se interrumpe no pueda tomar un decisión, lo que puede causar una falta de solidez en el razonamiento ecuacional y generalmente requiere introducir inconsistencia dentro de la lógica expresada por los tipos del sistema del lenguaje. La programación funcional limitada a la recursividad bien construida con unas cuantas restricciones más se llama programación funcional total. La diferencia que se percibe en programa funcional e programa funcional recursividad es que son diferentes tipos  en ambos y todo su procedimiento es diferente.