Por su parte, los partidarios de la programación funcional consideran a los lenguajes basados en el cálculo lambda como contentivos de ambos paradigmas, dado que tanto las operaciones de formación de valores como las operaciones de construcción de programas se expresan en el mismo formalismo, dejando al usuario escoger qué partes de su programa deben ser escritas en un paradigma o en el otro.