Каково формальное различие между языком функционального уровня и функциональным?
Я довольно хорош в Haskell и преподавал мне J. Я читал о различии John Backus между программированием уровня значения и функционального уровня.
J является языком функционального уровня, который позволяет писать в стиле уровня значения при желании. (Я надеюсь, что у меня есть то право.), Где Haskell вписывается в этом? Я знаю, что Haskell разрешает молчаливый стиль программирования, и я знаю, что это - чистый функциональный язык, но Вы думаете, что Backus описал бы это как уровень значения или язык функционального уровня?
В сумме функциональный уровень и функциональные языки, кажется, связаны друг с другом, но не точно тем же. Кто-то мог разъясниться?
1 ответ
Практически каждый практический язык функционального программирования по-прежнему является программированием на уровне значений; Программирование на уровне функций - это скорее академическая / алгебраическая форма программирования, цель которой - получить свойства из того, как функции формируются из других функций.
Поскольку любое реальное практическое приложение требует работы с некоторой формой данных (абстрактные вычисления на абстрактных входных данных обычно не очень полезны в повседневной жизни), это переносит их в область ценностного уровня.
http://en.wikipedia.org/wiki/Function-level_programming#Contrast_to_functional_programming