2016-07-30 61 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演算, 表示和操纵无限的数据结构的显着可能性,以及令人上瘾的简单和美丽的实现技术 - 就像一种药物。