我最近注意到的一个短语是“无点”风格的概念......
首先，有this问题，以及还有这个.
然后，我发现here他们提到“另一个可能值得讨论的话题是作者对无点风格的厌恶。”
什么是“无点”风格？有人可以给出简洁的解释吗？它与“自动”柯里化有关吗？
为了了解我的水平 - 我一直在自学Scheme，并编写了一个简单的Scheme解释器......我理解什么是“隐式”柯里化，但我不知道任何Haskell或ML。
只要看看维基百科文章得到你的定义：
隐性编程（无点编程）是一种编程范例，其中函数定义不包含有关其参数的信息，使用组合器和函数组合[...]而不是变量。
哈斯克尔示例：
常规（您明确指定参数）：
sum (x:xs) = x + (sum xs)
sum [] = 0
无点（sum没有任何明确的参数 - 它只是与+从 0 开始）：
sum = foldr (+) 0
或者更简单：而不是g(x) = f(x)，你可以写g = f.
所以是的：它与柯里化（或函数组合等操作）密切相关。
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
