¿Cuál es la diferencia formal entre un lenguaje de nivel funcional y uno funcional?

Question

Soy bastante bueno en Haskell y me he estado enseñando J. He leído acerca de la distinción John Backus 'entre la programación value-level y function-level.

J es un lenguaje de nivel funcional que le permite escribir en un estilo de nivel de valor si lo desea. (Espero haberlo hecho bien.) ¿Dónde encaja Haskell en esto? Sé que Haskell permite un estilo de programación tácito y sé que es un lenguaje funcional puro, pero ¿crees que Backus lo describiría como un lenguaje de nivel de valor o de nivel funcional?

En resumen, los lenguajes funcionales y de funciones parecen estar relacionados entre sí, pero no exactamente iguales. ¿Alguien podría aclarar?

Answer 1

Casi todos los lenguajes de programación funcionales prácticos siguen siendo programas de nivel de valor; la programación a nivel de función es más una forma de programación académica/algebraica que busca derivar propiedades de cómo se forman las funciones a partir de otras funciones.

Debido a que cualquier aplicación práctica real requiere operar en algún tipo de datos (los cálculos abstractos en entradas abstractas generalmente no son muy útiles en la vida cotidiana), esto los lleva al dominio del nivel de valor.

http://en.wikipedia.org/wiki/Function-level_programming#Contrast_to_functional_programming