La programación funcional limitada a la recursividad bien construida con unas cuantas restricciones más se llama programación funcional total.