CATS：为没有类型别名的谓词实现逆变量？

Question

type Predicate[A] = A => Boolean

implicit val predicateContra = new Contravariant[Predicate] {
  override def contramap[A, B](fa: Predicate[A])(f: B => A): Predicate[B] =
    (b: B) => fa(f(b))
}

val even: Predicate[Int] = (i: Int) => i % 2 == 0

我觉得很烦人。因此，我想知道是否可以直接为Function1从类型变量a到Boolean定义predicateContra，而不是使用类型别名，但我无法使其工作。以下两种想法都给了我一个编译器错误：

implicit val predicateContra = new Contravariant[Function1[_, Boolean]] {
// "Function1[_, Boolean] takes no type parameters, expected: one"

implicit def predicateContra[A] = new Contravariant[Function1[A, Boolean]] {
// "A => Boolean takes no type parameters, expected: one"

我如何告诉编译器我的Function1的第一个参数应该保持一个“hole”，而第二个应该固定为boolean？有可能吗？在查看cats的源代码时，我发现星号在很多地方作为类型参数，但这对我也不起作用。

Answer 1

您可以使用kind投影仪，它允许您引用带有星号(*)的“类型孔”。

这使得定义类型*->*的语法非常简单，即一元类型构造函数（使用单个类型生成类型）。例如，使用某种类型a生成类型Map[a,Int]的类型可以简单地写成Map[*,Int]。

则您的代码变为：

val strToBool: String => Boolean = _.contains("1")
val intToStr: Int => String = _.toString

def predicateContra = 
  new Contravariant[Function1[*, Boolean]] {
    override def contramap[A, B](fa: A => Boolean)(f: B => A): B => Boolean = 
      (b: B) => fa(f(b))
  }

predicateContra.contramap(strToBool)(intToStr)(42) // false 
predicateContra.contramap(strToBool)(intToStr)(41) // true

def predicateContra =
  new Contravariant[({ type lambda[A] = Function1[A, Boolean] })#lambda] {
      ...
  }