解释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

如果您查看以下标准库的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)

我还看到了托尼的博客帖子，它终于帮助我理解了这个三年前的answer，从复古到我的一个问题。

Answer 2

假设您有一个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))
  }

}