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.¿Cuál es la diferencia formal entre un lenguaje de nivel funcional y uno funcional?
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?
podrían ser relevantes: http://conal.net/blog/posts/can-functional-programming-be-liberated-from-the-von-neumann-paradigm -Creo función de nivel puede hacer más que solo "cálculos abstractos sobre entradas abstractas". –