投影仪返回奇怪的结果

Question

>我有这些类型：
SomeTypeClass具有一个类型参数

* => * => * 的高级类型类型

trait SomeTypeClass[P[_, _]] {
def test[F[_], S, T, A, B](f: (A => F[B]) => S => F[T])
(pab: P[A, B])
(implicit ev: Strong[P],
ev2: Choice[P],
ev3: Applicative[F]): P[S, T]
}

Target接受三个类型参数：
类型构造函数F[_]和两个多态类型A, B

case class Target[F[_], A, B](f: A => F[B])

我想实现目标类的某个实例。
我正在使用投影仪插件来创建部分应用的类型。
我想要的方法签名应该是：

implicit def instance: SomeTypeClass[Target[F, *, *]] = new SomeTypeClass[Target[F, *, *]] {
override def test[F[_], S, T, A, B](f: (A => F[B]) => S => F[T])
(pab: Target[F, A, B])
(implicit ev: Strong[Target[F, *, *]], 
ev2: Choice[Target[F, *, *]], 
ev3: Applicative[F]): Target[F, S, T] = ???
}

我尝试使用两个星形参数使用此语法：

implicit def instance[F[_]]: SomeTypeClass[Target[F, *, *]] = new SomeTypeClass[Target[F, *, *]] {
override def test[F[_], S, T, A, B](f: (A => F[B]) => S => F[T])
(pab: Target[F, A, B])
(implicit ev: Strong[Target[F, *, *]],
ev2: Choice[Target[F, *, *]],
ev3: Applicative[F]): Target[F, S, T] = ???
}

但是在实例级别声明的F[_]掩盖了在测试方法中声明的F[_](我希望它们是相同的 F(，所以我转向了 λ 语法并得到了两个不同的不需要的结果。

第一个使用为pab参数生成的λ[(F, A, B) => Target[F, A, B]]，pab: Target[A, B, B]而不是pab: Target[F, A, B]，返回类型也Target[S, T, B]而不是Target[F, S, T]

第二个在三重类型 lambda 参数末尾使用 F(为什么???(
λ[(A, B, F) => Target[F, A, B]]为pab参数和返回类型生成了正确的类型，但是 对于每个隐式参数，类型Strong[λ[(A, B, F) => Target[F, A, B]]]而不是Strong[Target[F, *, *]]]

完整代码：

import cats.Applicative
import cats.arrow.{Choice, Strong}
final case class Target[F[_], A, B](f: A => F[B])
trait SomeTypeClass[P[_, _]] {
def test[F[_], S, T, A, B](f: (A => F[B]) => S => F[T])
(pab: P[A, B])
(implicit ev: Strong[P],
ev2: Choice[P],
ev3: Applicative[F]): P[S, T]
}
object SomeTypeClass {
implicit def instance1: SomeTypeClass[λ[(F, A, B) => Target[F, A, B]]] = new SomeTypeClass[λ[(F, A, B) => Target[F, A, B]]] {
override def test[F[_], S, T, A, B](f: (A => F[B]) => S => F[T])
(pab: Target[A, B, B])
(implicit ev: Strong[Target],
ev2: Choice[Target],
ev3: Applicative[F]): Target[S, T, B] = ???
}
implicit def instance2: SomeTypeClass[λ[(A, B, F) => Target[F, A, B]]] = new SomeTypeClass[λ[(A, B, F) => Target[F, A, B]]] {
override def test[F[_], S, T, A, B](f: (A => F[B]) => S => F[T])
(pab: Target[F, A, B])
(implicit ev: Strong[λ[(A, B, F) => Target[F, A, B]]],
ev2: Choice[λ[(A, B, F) => Target[F, A, B]]],
ev3: Applicative[F]): Target[F, S, T] = ???
}
}

我可以使用此插件实现所需的语法吗？
为什么插件会生成不同的类型 对于 lambda 的"参数"类型的不同顺序？

Answer 1

如果我明白

但是在实例级别声明的F[_]会掩盖在测试方法中声明F[_](我希望它们是相同的F

正确，您希望您的实例 forSomeTypeClass[Target[...]]修复test的F[_]参数。但是，对于这种test类型的签名，这根本不可能。一旦你拥有(例如(

val inst = implicitly[SomeTypeClass[Target[...]]

你可以打电话

val res1 = inst.test[List, ...]
val res2 = inst.test[Option, ...]

类型 lambda 不提供解决此问题的方法。您需要将F[_]参数移动到SomeTypeClass或实现

implicit def instance[F[_]]: SomeTypeClass[Target[F, *, *]] = new SomeTypeClass[Target[F, *, *]] {
override def test[G[_], S, T, A, B](f: (A => G[B]) => S => G[T])
(pab: Target[F, A, B])
(implicit ev: Strong[Target[F, *, *]],
ev2: Choice[Target[F, *, *]],
ev3: Applicative[G]): Target[G, S, T] = ???
}

我希望这是不可能的，因为你不能pab.f传递给f.

编辑：wander的类型

class (Choice p, Strong p) => Traversing p where
traverse' :: Traversable f => p a b -> p (f a) (f b)
traverse' = wander traverse
wander :: (forall f. Applicative f => (a -> f b) -> s -> f t) -> p a b -> p s t
wander f pab = dimap (s -> Baz $ afb -> f afb s) sold (traverse' pab)

是一个 Scala 中不直接支持的 rank-2 类型;相反，你需要引入一个帮助程序(它不能像Control.Lens.Type那样只是一个类型别名(

trait Traversal[S, T, A, B] {
def apply[F[_]: Applicative](f: A => F[B]): S => F[T]
}

然后

trait Traversing[P[_, _]] extends Strong[P] with Choice[P] {
def wander[S, T, A, B](t: Traversal[S, T, A, B], pab: P[A, B]): P[S, T]
}
implicit def instance[F[_]: Applicative]: Traversing[Target[F, *, *]] = new Traversing[Target[F, *, *]] {
def wander[S, T, A, B](t: Traversal[S, T, A, B], pab: Target[F, A, B]): Target[F, S, T] = Target(t(pab.f))
// define Strong and Choice methods too
}

应该工作。(虽然我不确定这是猫处理Strong和Choice要求的方式。