Я довольно хорошо разбираюсь в Haskell и учит себя J. Я читал о John Backus "Различие между value-level и function-level.
J - это язык на уровне функций, который позволяет, если нужно, писать в стиле уровня ценности. (Надеюсь, у меня все получится.) Где Haskell вписывается в это? Я знаю, что Haskell допускает негласный стиль программирования, и я знаю, что это чистый функциональный язык, но как вы думаете, Backus будет описывать его как уровень уровня или языка функционального уровня?
В целом, функциональный и функциональный языки, похоже, связаны друг с другом, но не совсем то же самое. Может ли кто-нибудь уточнить?