Question

我正在阅读带猫的高级Scala 。我在函子说明（第59页）上停留在此示例上：

object FunctorsDemo extends App {

  import cats.instances.function._
  import cats.syntax.functor._

  val func1 = (x: Int) => x.toDouble
  val func2 = (y: Double) => y * 2

  val func3 = func1.map(func2) // wrong line for me

}

书中一切正常，但我有一个例外：

Error:(10, 21) value map is not a member of Int => Double
  val func3 = func1.map(func2)

不明白我在做什么错。

Answer 1

这是一种配置，其确切版本号适用于

build.sbt：

libraryDependencies += "org.typelevel" %% "cats-core" % "1.1.0"
scalaVersion := "2.12.5"
scalacOptions += "-Ypartial-unification"

代码（{FunctionIntDoubleFunctor.scala与build.sbt在同一目录中）：

object FunctionIntDoubleFunctor {

  def main(args: Array[String]) {
    import cats.syntax.functor._

    import cats.instances.function._

    val func1 = (x: Int) => x.toDouble
    val func2 = (y: Double) => y * 2


    val func3 = func1.map(func2)
    println(func3(21)) // prints 42.0
  }

}

带有@ interp.configureCompiler(_.settings.YpartialUnification.value = true)的炸药在完全相同的代码上失败了，我不知道为什么，所以也许与您使用的工具有关。

Answer 2

您在Scala的类型推断中遇到了一个错误，即部分统一错误。

将此添加到您的build.sbt：

scalacOptions += "-Ypartial-unification"

如果您对此感兴趣，这里有一篇很好的文章：https://gist.github.com/djspiewak/7a81a395c461fd3a09a6941d4cd040f2

无法使用Cats库的函数调用map方法

2 个答案: