关于函数式编程风格

Question

我读过一篇论文，讨论了冯·诺伊曼风格的编程。这篇论文的名字是Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs 关于函数式编程语言（由作者John Backus提到），我的问题是：

这篇论文中的函数式编程风格是否与我们所说的函数式编程语言（如HASKELL或ERLANG）的意思完全相同或大致相同？

- parsifal

---

开头的描述非常符合我对 Haskell 的印象。我猜 Erlang 也不会有太大的差异。 - Niklas B.

关于编程语言的讨论往往类似于中世纪有关天使在针尖上跳舞数量的辩论，而不是基于根本性不同概念的激烈竞赛。- 喜欢这个比喻 xD - NotGaeL

并不真的喜欢它们中的任何一个。更像 Haskell 而不是 Erlang。John Backus 倡导一种更加函数式的编程风格，其中组合是结构化的重要部分。 - augustss

Answer 1

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

- Jörg W Mittag

Answer 2

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

简而言之，这是两种不同的技术。维基百科称它们为函数式编程和函数级编程。此外还有无点或暗示式编程、连接式语言和堆栈导向语言 - 因此确切的命名可能因问询者而异。

正如博客文章所指出的，函数式（或应用）语言（Erlang、Haskell、ML、Scheme）不适合于函数级（或连接式）编程。然而，有一个Pointless Haskell库可帮助使用Haskell编写函数级程序。注意，对于通常的东西，如空列表等，类型签名与Prelude不同。该库可以通过cabal install pointless从Hackage安装。参见示例。

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

- nponeccop