scala - 映射到相同类型的 Traversable 的 Traversable 类型

Question

精简版。 Scala 中的大多数泛型集合都有一个 map实际上，该方法将返回相同类型的集合。 (例如， List[A].map(f:A=>B) 返回一个 List[B] 。)Scala 集合库是明确设计来实现这一点的。如果我想在任何此类集合上编写多态代码怎么办？ “Traversable 其映射的行为与仿函数的行为类似”可以表示为类型吗？

长版。 我有一种情况，有一个抽象表示某些 的对象集合会很有用。 C 当前类型，如果这些对象被转换为一些 D esired 类型，那么集合可以使用这些对象来构造某个 的对象R 结果类型。我可以通过使用函数类型来实现我想要的几乎所有东西

(C => D) => R

但这种方法的一个缺陷是自然 map 的过度懒惰(在我的应用程序中)方法，这将类似于

def map[C2](f: C=>C2): (C2=>D)=>R = (g => this(f andThen g))

这会延迟 f 的申请到 C 类型的对象直到 R正在计算中。我宁愿申请 f立即地。

因此，例如，我可能会实现类似

class Foo[+C,-D,+R](cs: List[C], finalize: List[D]=>R) {
    def apply(f: C=>D): R = finalize(cs.map(f))
    def map[C2](f: C=>C2): Foo[C2,D,R] = Foo(cs.map(f), finalize)
}

到现在为止还挺好。但现在我自己想，List 没什么特别的。这里;任何实现某种类型的构造函数 map功能会做。唯一的就是函数finalize可能依赖于集合的结构。也许列表的第一个元素被特殊对待，例如，如果 List.map返回一些更通用的集合类型，可能是一个非常抽象的集合，甚至没有“第一个元素”的概念，然后 finalize可能会失败。同样，如果它希望列表具有特定长度，但我过滤了列表或其他内容。

如果我以自然的通用性编写代码，则不会出现这种问题，例如

class Foo[+C,-D,+R,F[x] <: Traversable[x]](cs: F[C], finalize: F[D]=>R) {
    ...
}

因为那样我就不会不小心用 F 做任何奇怪的事情了(除非我在运行时检查它的类型或其他什么，在这种情况下我应该得到我得到的)。

唯一剩下的问题是cs.map(f)有静态类型 Traversable[D] ，不是 F[D] ，当然我们期望它实际上是类型 F[D]通常，Scala 集合库是明确设计的，以确保确实如此。

所以我的问题是，这个要求可以在 F 上吗？用类型表示？

本质上，我想要 Haskell 代码的 Scala 版本

data Foo f b r a = Foo (f a) (f b -> r)
instance (Functor f) => Functor (Foo f b r) where
    g `fmap` (Foo fa fbr) = Foo (g `fmap` fa) fbr
dothething :: (Functor f) => Foo f b r a -> (a -> b) -> r
dothething foo g = fbr fb where Foo fb fbr = g `fmap` foo

或多或少具有相同的保证并且没有懒惰。

Answer 1

您在寻找 scalaz 的 Functor 吗？

https://github.com/scalaz/scalaz/blob/scalaz-seven/core/src/main/scala/scalaz/Functor.scala

它允许您对可以满足类型类定义的任何内容进行抽象。

def addTwo[F[_]](f: F[Int])(implicit F: Functor[F]): F[Int] = f.map(_+2)

现在我的 'addTwo' 方法不关心映射的是什么，只要存在一个仿函数实例。所以这两个都可以工作:

addTwo(List(1,2,3))
addTwo(Future { 1 } ) 

等等。