解釋逆向映射

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)) 
    } 

}