scala - 泛型中奇怪的嵌套结构类型

Question

有人可以解释嵌套在泛型中的结构类型的奇怪构造吗:

implicit def Function1Functor[R]: Functor[({type λ[α]=(R) => α})#λ] = 
  new Functor[({type λ[α]=(R) => α})#λ] ....

此示例来自 Scalaz 库: Functor.scala

为什么那里需要这种建筑？写起来不会更简单:

 implicit def Function1Functor[R,A]: Functor[R =>A]

或者

 implicit def Function1Functor[R,A]: Functor[Function1[R,A]]

Answer 1

Functor的签名类型构造函数表明它是用另一个一元类型构造函数参数化的 F :

trait Functor[F[_]] extends InvariantFunctor[F]

都没有 R => A也不是 Function1[R,A]是类型构造函数；他们不接受任何参数。

然而在:

type λ[α] = (R) => α

λ是一个带一个参数的类型构造函数， α . ( R 已在此上下文中定义。)

语法 ({type λ[α]=(R) => α})#λ被称为类型 lambda。这是一种语法技巧，允许内联创建类型别名并通过投影引用，因此可以在需要类型的地方使用整个表达式。