Question

为了我自己的好奇心，我试图为定义liftM的所有类型定义Haskell的map[B](f : A => B): M[A]，但无法自己实现*。我希望能够更深入了解Scala类型系统的人能够向我解释它。

首先我尝试使用结构类型约束：

import language.higherKinds
import language.reflectiveCalls
def lift[A, B, F[_] <: {def map(f : A => B): F[B]}](a : F[A])(g : A => B) =
  a map g

lift(Some(1)) {_ + 1} // error: inferred type arguments [Int,Nothing,Some] do not
                      // conform to method lift's type parameter bounds 
                      // [A,B,F[_] <: AnyRef{def map(f: A => B): F[B]}]

我已经尝试了其他一些事情，但是永远无法接受定义map[B](f : A => B): F[B]的类型的函数。我还通过特征对它进行了重击：

object Liftable {
  import language.higherKinds

  trait Mappable[A, F[_]] {
    def map[B](f : A => B): F[B]
  }

  implicit class MappableOption[A](opt : Option[A]) extends Mappable[A, Option] {
    def map[B](f : A => B) = opt map f
  }

  def lift[A, B, F[_]](a : Mappable[A, F])(f : A => B) =
    a map f
}
import Liftable._

lift(Some(1)) {_ + 1}          // Some(2)
lift(None:Option[Int]) {_ + 1} // None

这可行，但它需要为定义map函数的每个类型定义一个隐式类。它在那里失去了很多用处。我不确定是否有办法为定义map的所有类型定义隐式转换 - 它让我回到了第一种方法遇到的问题。

我忽略了什么吗？唯一可行的方法是遵循第二种方法，并为每个可映射类型单独定义隐式转换吗？

<子> *我知道 Scalaz 库有某种形式的lift函数为其Functor特征定义，但我不能完全理解它是如何工作的只需浏览源代码就可以了解整个库的上下文。

Answer 1

选项地图方法签名：

def map[B](f: (A) ⇒ B): Option[B]

并且'提升'方法需要定义为：

def lift[A,C,F[A] <: {def map[B <: C](f : A => B):F[B]}] (a : F[A])(g : A => C)
  = a map g

并致电：

lift(Option(1)){ _ + 1 }
res: Option[Int] = Some(2)

为所有可映射类型定义提升

1 个答案: