为什么Scala方法定义中有两组参数/括号？

发布时间：2020-12-16 09:16:11 所属栏目：安全来源：网络整理

导读：我是 Scala新手,ScalaSTM正在做一些阅读. 如果有人可以简单地命名下面的概念,那么我会感激的是,有两套括号被传递给该方法： def transfer(amount: Int,a: Ref[Int],b: Ref[Int])(c: Transaction) { a.:=(a.get(c) - amount)(c) b.:=(b.get(c) + amount)(c)}

我是 Scala新手,ScalaSTM正在做一些阅读.

如果有人可以简单地命名下面的概念,那么我会感激的是,有两套括号被传递给该方法：

def transfer(amount: Int,a: Ref[Int],b: Ref[Int])(c: Transaction) {
  a.:=(a.get(c) - amount)(c)
  b.:=(b.get(c) + amount)(c)
}

在c：交易中使用什么概念？

一旦我知道我在找什么,我会进一步阅读！

谢谢

解决方法

这叫Currying.咖喱功能是当它的类型为A => B => C.

函数def foo(a：A,b：B)：C的类型(A,B)=> C.
另一方面,函数def curriedFoo(a：A)(b：B)：C的类型为A => B => C.使用curried函数可以做def curriedFooWithA = curriedFoo(a),其类型为B =>你不必一次提供所有的论据.

所以,在你的情况下,你可以提供金额a,b.你会得到一个交易的功能.另一种情况将是Request =>类型的函数. DataBase => Int,您只需提供请求,最后当您真正需要运行请求时,提供请求发送到的DataBase.

类型(A,B)=> C和A => B => C是同构的.斯卡拉提供了这样一个简单的和不配的.

def curriedFoo(a：A)(b：B)：C = a => b => foo(a,b)

def foo(a：A,b：B)：C => (a,b)=> curriedFoo(a,b)

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!