haskell - 关于函数式编程

Question

我读过一篇讨论冯诺依曼风格编程的论文。这篇论文的名字是Can Programming Be Liberated from the von Neumann Style? 一种函数式风格及其程序代数

我关于函数式编程语言（作者 John Backus 引用）的问题是这样的：

当我们提到像HASKELL或ERLANG这样的函数式编程语言时，本文中的函数式风格是否准确或近似地表示相同的含义？

Answer 1

如果您想查看直接受该论文中描述的FP语言启发的语言，您可能需要查看J。

Answer 2

这是一篇有用的博客文章：为什么串联编程很重要。

简而言之，这是两种不同的技术。维基百科分别称它们为函数式编程和函数级编程。还有无点默认编程、连接语言和面向堆栈的语言——所以确切的命名可能会因你问的人而异。

正如博文指出的那样，函数式（或应用性）语言（Erlang、Haskell、ML、Scheme）不太适合函数级（或串联）编程。但是，有Pointless Haskell库可以帮助在 Haskell 中编写函数级程序。请注意常见事物（例如空列表）的类型签名与 Prelude 有何不同。该库可以通过 cabal install pointless从 Hackage 安装。请参阅示例。

有关相关语言，请参阅 Forth、APL、Joy 和 Cat。Jorg 提到的 J 语言是 APL 和 FP 的后代。