2016-07-30 30 views
2

LYAHFGG we readHaskell是否具有單參數函數就像lambda微積分的原因?

在Haskell每個函數正式只需要一個參數。

Lambda Calculus we read這樣的描述:

第二簡化的是,λ演算僅使用一個單一的輸入的功能。

我的問題是:Haskell的原因是單參數函數是lambda演算?

(或者是它只是一個聯合注重簡約與鑽營?)

+2

我認爲這更具歷史影響力。所有(?)當時的其他惰性函數語言都有單一參數函數。 – augustss

+4

這個選擇的一個有趣的效果是它如何使它很容易在函數類型上定義類型類,並且它也使得Applicative模式更加優雅。 –

回答

3

哈斯克爾的確強烈意像,甚至基於演算。從A History of Haskell: Being Lazy with Class供您選擇報價:

的簡單 和函數式編程的優雅氣質深深吸引本 作者,和許多其他研究人員和他們在一起。懶惰的評價 - 它直接連接到純粹的名稱lambda演算, 表示和操縱無限的數據結構的顯着可能性,以及令人上癮的簡單和美麗的實現技術 - 就像一種藥物。