2012-09-01 26 views
5

我已閱讀過一篇討論馮·諾伊曼風格編程的論文。本文的名字是Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs關於功能風格編程

我對功能性風格編程的語(由作者約翰·巴庫斯refered)的問題是:

是本文的功能的風格恰好或approxiately意味着同樣的事情時,我們請參考功能編程語言,如HASKELLERLANG

+1

在開始的描述非常符合我對Haskell的印象。我猜Erlang並沒有太大的差異 –

+1

「關於編程語言的討論經常是 類似於中世紀有關天使數量的辯論,它們可以在引腳上跳舞,而不是在根本不同的概念之間激發 比賽。 - 愛那個比較xD – NotGaeL

+2

不是很喜歡他們中的任何一個。不過,更多的是Haskell。 John Backus提倡更加以功能爲導向的編程風格,其中編排是構建的主要部分。 – augustss

回答

3

這是一篇有用的博文:Why concatenative programming matters

總之,這是兩種不同的技術。維基百科分別稱它們爲Functional ProgrammingFunction-Level Programming。也有Point-Free of Tacit Programming,Concatenative LanguagesStack-Oriented Languages - 所以確切的命名可能會有所不同,取決於你問誰。由於博客文章指出,功能(或應用)語言(Erlang,Haskell,ML,Scheme)不適合功能級(或級聯)編程。但是,有一個庫可以幫助編寫Haskell中的函數級程序。請注意,通常情況下(如空列表)的類型簽名與Prelude不同。該庫可以通過安裝pointless從Hackage進行安裝。請參閱examples

對於相關語言,請參見第四章,APL,Joy和Cat。 Jorg提到的J語言是APL和FP的後代。

+0

朋友,謝謝你的信息! – parsifal

4

如果你想看看那個直接通過在論文中描述的FP語言風格是一種語言,你可能想看看J

+0

朋友,謝謝你! – parsifal