功能级语言和功能级语言之间的形式差异是什么？

Question

我在相当不错的Haskell和一直教我Ĵ.我读过John Backus对价值级和功能级编程之间的区别.

J是一种函数级语言,允许用户根据需要以值级样式编写.(我希望我做对了.)Haskell在哪里适合？我知道Haskell允许一种默认的编程风格,我知道它是一种纯函数式语言,但你认为Backus会将它描述为一种价值级别或功能级别的语言吗？

总而言之,功能级和功能语言似乎彼此相关,但并不完全相同.有人可以澄清吗？

Answer 1

几乎所有实用的函数式编程语言仍然是值级编程；函数级编程更多地是一种学术/代数形式的编程，旨在从函数如何从其他函数形成中导出属性。

因为任何真正的实际应用程序都需要对某种形式的数据进行操作（抽象输入的抽象计算通常在日常生活中不是很有用），这将其带入价值级别领域。