标签: currying

我在几篇文章和博客中看到了对curried函数的引用,但我找不到一个好的解释(或者至少有一个有意义的解释!)

我经常在互联网上看到各种各样的抱怨,其他人的currying例子并不是currying,但实际上只是部分应用.

我没有找到关于部分应用是什么的合理解释,或者它与currying有何不同.似乎存在普遍的混淆,在某些地方将等效的例子描述为currying,在其他地方描述为部分应用.

有人可以向我提供这两个术语的定义,以及它们如何区别的细节吗？

我不认为我已经讨好了.我理解它的作用,以及如何做到这一点.我想不出我会用它的情况.

你在JavaScript中使用currying(或者使用它的主要库在哪里)？欢迎DOM操作或一般应用程序开发示例.

其中一个答案提到了动画.函数如slideUp,fadeIn将元素作为参数,通常是一个curried函数,返回高阶函数,内置默认的"动画函数".为什么这比仅使用某些默认值更高的函数更好？

使用它有什么缺点吗？

根据要求,这里有一些关于JavaScript currying的好资源:

• http://www.dustindiaz.com/javascript-curry/
• Crockford,Douglas(2008)JavaScript:The Good Parts
• http://www.svendtofte.com/code/curried_javascript/ (绕道进入ML所以跳过"ML中的速成课程"中的整个部分,然后重新开始"如何编写咖喱JavaScript")
• http://web.archive.org/web/20111217011630/http://blog.morrisjohns.com:80/javascript_closures_for_dummies
• JavaScript闭包如何工作？
• http://ejohn.org/blog/partial-functions-in-javascript(Resig先生关于钱的照常)
• http://benalman.com/news/2010/09/partial-application-in-javascript/

我会在评论中添加更多内容.

因此,根据答案,currying和部分应用一般是便利技术.

如果您经常通过使用相同配置调用高级函数来"精炼"高级函数,则可以使用更高级别的函数来设置(或使用Resig的部分)来创建简单,简洁的帮助器方法.

我以前读了几篇Java 8教程.

现在我遇到了以下主题: java支持Currying吗？

在这里,我看到以下代码:

IntFunction<IntUnaryOperator> curriedAdd = a -> b -> a + b;
System.out.println(curriedAdd.apply(1).applyAsInt(12));

我明白这个例子总结了2个元素,但我无法理解构造:

a -> b -> a + b;

根据表达式的左侧部分,该行应实现以下功能:

R apply(int value); 

在此之前,我只用一支箭只遇到了lambdas.

我有两次最近重构的代码,以便更改参数的顺序,因为有太多的代码,黑客喜欢flip或\x -> foo bar x 42正在发生.

在设计功能签名时,哪些原则可以帮助我充分利用currying？

我想知道是否有任何方法可以在Java中提取它.我认为没有原生支持闭包是不可能的.

我正在讨论Scala样式指南中的多个参数列表.我已经认识到,有两种方式讨好,我想知道用例是什么:

def add(a:Int)(b:Int) = {a + b}
// Works
add(5)(6)
// Doesn't compile
val f = add(5)
// Works
val f = add(5)_
f(10) // yields 15

def add2(a:Int) = { b:Int => a + b }
// Works
add2(5)(6)
// Also works
val f = add2(5)
f(10) // Yields 15
// Doesn't compile
val f = add2(5)_

风格指南错误地暗示这些是相同的,当它们显然不是时.该指南试图说明创建的curried函数,并且,虽然第二种形式不是"by-the-book"currying,但它仍然非常类似于第一种形式(尽管可以说更容易使用,因为你不需要的_)

从那些使用这些形式的人那里,对于何时使用一种形式而不是另一种形式的共识是什么？

我认识到,有在这里大约几个问题是什么钻营和部分应用功能,但我问他们是如何不同.举个简单的例子,这是一个用于查找偶数的curry函数:

def filter(xs: List[Int], p: Int => Boolean): List[Int] =
   if (xs.isEmpty) xs
   else if (p(xs.head)) xs.head :: filter(xs.tail, p)
   else filter(xs.tail, p)

def modN(n: Int)(x: Int) = ((x % n) == 0)

所以你可以编写以下内容来使用它:

val nums = List(1,2,3,4,5,6,7,8)
println(filter(nums, modN(2))

返回:List(2,4,6,8).但我发现我可以用这种方式做同样的事情:

def modN(n: Int, x: Int) = ((x % n) == 0)

val p = modN(2, _: Int)
println(filter(nums, p))

还返回:List(2,4,6,8).

所以我的问题是,两者之间的主要区别是什么,何时使用一个而不是另一个？这是一个过于简单的例子来说明为什么一个人会被用在另一个上面？

多个参数列表,例如def foo(a:Int)(b:Int) = {}每个列表的多个参数,例如def foo(a:Int, b:Int) = {},就我所知,在语义上是等效的,并且大多数函数语言只有一种方式来声明多个参数,例如F#.

我可以找到支持这两种函数定义样式的唯一原因是允许使用只有一个参数的参数列表进行类似语法的语言扩展.

def withBufferedWriter(file: File)(block: BufferedWriter => Unit)

现在可以使用syntax-looking调用

withBufferedWriter(new File("myfile.txt")) { out =>
  out write "whatever"
  ...
}

但是,如果没有多个参数列表,可能还有其他方法可以支持花括号的使用.

一个相关的问题:为什么在Scala中使用多个参数列表称为"currying"？Currying通常被定义为为了支持部分应用而使n-ary函数一元化的技术.但是,在Scala中,可以部分应用函数,而不会使函数的"curried"(多个参数列表,每个参数列表).

在Scala中,可以像这样编写(curried？)函数

def curriedFunc(arg1: Int) (arg2: String) = { ... }

上述curriedFunc函数定义与两个参数列表和单个参数列表中具有多个参数的函数之间有何区别:

def curriedFunc(arg1: Int, arg2: String) = { ... }

从数学的角度来看,这是(curriedFunc(x))(y),curriedFunc(x,y)但我可以写def sum(x) (y) = x + y,同样的def sum2(x, y) = x + y

我只知道一个区别 - 这是部分应用的功能.但这两种方式对我来说都是等同的.

还有其他差异吗？