scala平面图和应用程序上下文边界产生编译错误

sxpgvts3 于 2021-07-14 发布在 Java

关注(0)|答案(1)|浏览(412)

我在scala工作，遇到了一个问题 implicit 示例。让我们考虑以下示例：

import cats.{Applicative, FlatMap, Monad}
import cats.syntax.functor._
import cats.syntax.flatMap._
import cats.syntax.applicative._

class Test[F[_]: Monad] extends App{
  val t1 = ().pure[F]
  val t2 = ().pure[F]

  def testFlatApplicative: F[Unit] =
    for{
      _ <- t1
      _ <- t2
    } yield ()
}

这很好。但是自从 cats.Monad[F[_]] 声明如下：

@typeclass trait Monad[F[_]] extends FlatMap[F] with Applicative[F]

我希望下面的方法也能奏效

import cats.{Applicative, FlatMap, Monad}
import cats.syntax.functor._
import cats.syntax.flatMap._
import cats.syntax.applicative._

class Test[F[_]: FlatMap : Applicative] extends App{
  val t1 = ().pure[F]
  val t2 = ().pure[F]

  def testFlatApplicative: F[Unit] =
    for{
      _ <- t1
      _ <- t2
    } yield ()
}

但编译失败，出现错误：

Error:(16, 12) value map is not a member of type parameter F[Unit]
      _ <- t2

这很奇怪。 Apply 延伸 Functor ...
有人能解释这种行为吗？

scala functional-programming scala-cats

来源：https://stackoverflow.com/questions/54841439/scala-flatmap-and-applicative-context-boundaries-yield-compile-error

1条答案

按热度按时间

htzpubme1#

class Test[F[_] : FlatMap : Applicative] 是为了

class Test[F[_]](implicit flatMap: FlatMap[F], applicative: Applicative[F])

如果你对理解和语法进行了分析，你会发现问题：

def testFlatApplicative: F[Unit] = 
  FlatMap[F].flatMap(t1)(_ => 
    Functor[F].map(t2)(_ => ())
  )

Error: ambiguous implicit values:
 both value applicative in class Test of type cats.Applicative[F]
 and value flatMap in class Test of type cats.FlatMap[F]
 match expected type cats.Functor[F]

因此，您可以手动解决歧义：

def testFlatApplicative: F[Unit] = 
  FlatMap[F].flatMap(t1)(_ => 
    applicative.map(t2)(_ => ())
  )

或

def testFlatApplicative: F[Unit] = 
  FlatMap[F].flatMap(t1)(_ => 
    flatMap.map(t2)(_ => ())
  )

你写的时候没有这个问题 class Test[F[_]: Monad] 既然你有单隐。

赞(0）回复(0）举报 2021-07-14

我来回答

scala平面图和应用程序上下文边界产生编译错误

1条答案

相关问题

热门标签

最新问答