函数级语言和函数式语言之间的形式区别是什么？答案

【问题标题】：What's the formal difference between a function-level language and a functional one?函数级语言和函数式语言之间的形式区别是什么？
【发布时间】：2011-03-11 08:39:14
【问题描述】：

我很擅长Haskell，并且一直在自学J。我读过关于John Backus'value-level 和function-level 编程之间的区别。

J 是一种函数级语言，如果需要，它允许人们以值级风格进行编写。（我希望我是对的。） Haskell 在哪里适合？我知道 Haskell 允许一种默认的编程风格，而且我知道它是一种纯函数式语言，但您认为 Backus 会将其描述为值级语言还是函数级语言？

总之，函数级语言和函数式语言似乎相互关联，但并不完全相同。有人可以澄清一下吗？

【问题讨论】：

可能相关：conal.net/blog/posts/… — 我认为 Function-Level 可以做的不仅仅是“对抽象输入进行抽象计算”。

标签： functional-programming

【解决方案1】：

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

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

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

【讨论】：

有趣。我之前读过函数级文章，但我没有看到将它与函数式编程进行对比的部分。维基百科中这篇文章的历史表明它已经以一种或另一种形式存在多年。多么奇怪。