Se presta especial atención a aquellas que no existen en los tradicionales lenguajes imperativos, (en particular, el concepto de función de orden superior), señalándose que constituyen la principal diferencia entre ambos esquemas y, por lo tanto, un aporte relevante del paradigma funcional al desarrollo de los lenguajes de programación.
En este análisis se siguen ideas de [], [] y [].