В чем формальная разница между языком функционального уровня и функциональным?

Question

Я довольно хорош в Хаскеле и учил себя J . Я читал о Джон Бэкус 'различие между уровень значения и уровень функции программирование.

J - язык уровня функций, который позволяет писать в стиле уровня значений, если это необходимо. (Надеюсь, я понял это правильно.) Какое место занимает Хаскелл? Я знаю, что Haskell допускает неявный стиль программирования, и я знаю, что это чисто функциональный язык, но как вы думаете, Backus описал бы его как язык уровня значений или язык уровня функций?

В целом, языки функционального уровня и функциональные языки, похоже, связаны друг с другом, но не совсем одинаково. Может кто-нибудь уточнить?

Answer 1

Практически каждый практический функциональный язык программирования все еще является программированием на уровне значений;программирование на уровне функций - это скорее академическая / алгебраическая форма программирования, целью которой является получение свойств из того, как функции формируются из других функций.

Потому что любое реальное практическое приложение требует работы с какой-либо формой данныхвходные данные, как правило, не очень полезны в повседневной жизни), это приводит их в область значений.

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