Scala猫。如何写kleisli [f [_]，a，b] .ap？

Question

我尝试编写一个Kleisli.ap函数。

final case class Kleisli[F[_], -A, B](run: (A) ⇒ F[B]) extends Product with Serializable

def ap[C, D, AA <: A](f: Kleisli[F, AA, C])(implicit F: Apply[F], ev: As[B, (C) ⇒ D]): Kleisli[F, AA, D]

但

import cats._
import cats.implicits._
import cats.data._

val x: Kleisli[Option,String,Int] = Kleisli(_ => Some(1))
val y: Kleisli[Option,String,Double] = Kleisli(_ => Some(1.0))

val kleisliAp: Kleisli[Option,String,Double] = x.ap(y)
// No implicits found for parameter ev: As[Int, Double => D_]

我看到了这个错误代码，并寻找一种创建 As[A,B] 实例的方法，但找不到。
如果您知道如何解决这个问题，请告诉我。

Answer 1

ap 是组合两个对象的错误方法。

ap 需要一个 F[A] 和一个 F[A =>; B]。您有一个 F[A] 和一个 F[B]

相反，请使用 mapN

(x, y).mapN { ( int，双精度）=> ???此外

---

，ap 在 scala FP 中被认为是不好的风格。它的形状确实不适合scala；它之所以存在，是因为它是 Apply 基础的一部分，但 mapN 是应用地组合对象的惯用方式