解释Contramap

Question

有人可以contramap向我解释一下吗？这个实现会是什么样的？用法的好例子是什么样的？

// contravariant functor
trait Contravariant[F[_]] {
  def contramap[A, B](f: B => A): F[A] => F[B]
}

资料来源:http://tmorris.net/posts/functors-and-things-using-scala/index.html

Answer 1

假设你有一个类Conversion[X, Y]表示从类型的值转换X到类型的值Y.您可以将其与函数组合? => X以预处理输入,也可以使用函数Y=>?对输出进行后处理.例如:

trait Conversion[X, Y] { self =>

  def apply(x: X): Y

  def map[Z](f: Y => Z) = new Conversion[X, Z] {
    def apply(x: X): Z = f(self.apply(x))
  }

  def contramap[W](f: W => X) = new Conversion[W, Y] {
    def apply(w: W): Y = self.apply(f(w))
  }

}

Answer 2

如果您查看Ordering.on标准库的以下方法:

def on[U](f: U => T): Ordering[U]

您将看到on转变的Ordering[T]成Ordering[U]而采取的函数U来T.因此,该方法on见证了Ordering可以被视为Contravariant仿函数的事实:

def contramap[A, B](f: B => A) = (fa: Ordering[A]) => fa.on(f)

我还看到了Tony发来的博客文章,这帮助我终于理解了这个三年前的答案,从我的一个问题反驳.