scala - 在 Scala 中使用 foldLeft 反转

Question

def foldLeft[A, B] (as: List[A], z: B) (f: (B, A) => B) : B = as match {
  case Nil => z
  case Cons(x, xs) => foldLeft(xs, f(z, x))(f)
}

def reverse[A] (as: List[A]): List[A] =
  foldLeft(as, List[A]())((h, acc) => Cons(acc, h))

我不确定 foldLeft 中的 List[A] 是 B 类型的。有人可以清除此函数中发生的过程吗？

Answer 1

这个反向实现正在调用 foldLeft与 A因为它是第一个类型参数( foldLeft#A = A )和 List[A]因为它是第二种类型的参数( foldLeft#B = List[A] )。这是一个类型注释版本，它非常明确:

def reverse[A] (as: List[A]): List[A] =
  foldLeft[A, List[A]](as = as: List[A], z = List[A]())(
    (h: List[A], acc: A) => Cons(acc, h): List[A]
  )