Currying:追加两个列表

Question

我正在尝试理解scala中的currying。这段代码接受两个列表并附加它们。

  def append(as:List[Int],bs:List[Int]):List[Int]=as match{

  case Nil=>bs
  case x::xs=> x::append(xs,bs)

}

但是如果我想写一个currying版本的话：

def cappend(as:List[Int])(bs:List[Int])=as match{
     case Nil=>bs
     case x::xs=> x::cappend(xs,bs)
   }

这是正确的吗？

Answer 1

在currying中，您可以定义部分应用的函数，因此不需要一次传递所有参数。在该示例中，请考虑以下更正：

def cappend(as:List[Int])(bs:List[Int]): List[Int] = as match {
     case Nil   => bs
     case x::xs => x::cappend(xs)(bs)
   }

也就是说，每个参数都包含在圆括号中(而且递归函数需要返回类型，递归调用缺少前缀c)。然后，我们定义了一个部分定义的函数

val a = cappend(List(1,2)) _
a: List[Int] => List[Int] = <function1>

这将向作为第二个参数提供的任何List[Int]附加List(1,2)。例如,

a(List(3,4))
res1: List[Int] = List(1, 2, 3, 4)

还要注意，我们可以具有更通用的类型签名，不仅用于Int的列表，

def cappend[T](as:List[T])(bs:List[T]): List[T]