La mayoría de los llinguaxes de programación funcional de propósitu xeneral dexen la recursividad ensin restricciones y superen el test de Turing, lo que fai que'l programa que s'ataya nun pueda tomar una decisión, lo que puede causar una falta de solidez nel razonamientu ecuacional y xeneralmente rique introducir inconsistencia dientro de la lóxica espresada polos tipos del sistema del llinguaxe. Dellos llinguaxes de propósitu especial como Coq dexen tan solo recursividad bien encontada y tienen una normalización fuerte(cálculos ensin rematar pueden ser espresaos tan solo con fluxos de valores infinitos llamaos codata) Arriendes d'ello, estos llinguaxes fallen el test de Turing y declarar funciones ciertes nellos ye imposible, pero pueden declarar una amplia clase de cálculos interesantes mientres eviten los problemes producíos pola recursividad ensin restricciones. La programación funcional llindada a la recursividad bien construyida con unes cuantes restricciones más se llama programación funcional total.