scala – 可映射到相同类型的Traversable的Traversable类型
精简版.
Scala中的大多数通用集合都有一个map方法,实际上它将返回相同类型的集合. (列表[A] .map(f:A => B)返回一个List [B],例如.)Scala集合库是为实现这一目的而明确设计的.如果我想编写多态而不是任何此类集合的代码,该怎么办? “Traversable,其地图的行为就像仿函数一样”可以表示为一种类型吗?
长版.我的情况是,有一个抽象表示某些Current类型的对象集合是有用的,这样如果这些对象被转换为某些Desired类型,那么集合可以使用这些对象来构造某些Result类型的对象.通过使用函数类型,我几乎可以实现我想要的一切 (C => D) => R 但这种方法的一个缺点是自然地图方法的过度懒惰(在我的应用程序的上下文中),这将是类似的 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返回了一些更通用的集合类型,也许是一个非常抽象的集合,甚至没有“第一个元素”的概念,那么最终化可以失败.同样,如果它希望列表是一定长度,但我过滤列表或其他东西. 如果我以自然的通用性编写代码,就不会出现这种问题 class Foo[+C,+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 或多或少相同的保证,没有懒惰. 解决方法
你在寻找斯卡拉斯的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’方法并不关心映射的内容,只要存在一个functor实例.所以这两个都可行: addTwo(List(1,2,3)) addTwo(Future { 1 } ) 等等 (编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |