了解组合器

Question

我有一个关于84本书FPiS上的组合器的问题。

object RNG {

  type Rand[+A] = RNG => (A, RNG)
}

val int: Rand[Int] = _.nextInt

如何解释type Rand[+A] = RNG => (A, RNG) ，_。 _.nextInt的下划线是_.nextInt意思？

Answer 1

type定义是类型别名。 这意味着您可以将Rand[A]替换为RNG => (A, RNG) 。 因此，例如， Rand[Int] = RNG => (Int, RNG) 。

现在，由于我们知道int是采用RNG的函数，因此我们可以将其定义为匿名函数，例如(r: RNG) => r.nextInt （您可能会在RNG特征中看到nextInt的定义） 。 _是一个占位符，可以执行完全相同的操作，而不必命名参数。