关于功能样式编程

Question

我读过一篇讨论冯·诺伊曼风格编程的论文.这篇论文的名字是可以从冯·诺依曼风格中解放出来的编程吗？功能风格及其程序代数

我关于函数式编程语言的问题(由作者John Backus提到)是这样的:

当我们提到像HASKELL或ERLANG这样的函数式编程语言时,本文中的函数Style是完全或近似意义相同吗？

Answer 1

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

简而言之，这是两种不同的技术。维基百科分别将它们称为函数式编程和函数级编程。此外还有无点隐性编程、串联语言和面向堆栈的语言- 因此确切的命名可能会根据您询问的人而有所不同。

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

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