小编Ste*_*huk的帖子

精简版.Scala中的大多数通用集合都有一个map方法,实际上它将返回相同类型的集合.(例如,List[A].map(f:A=>B)返回一个List[B].)Scala集合库是为实现这一目的而明确设计的.如果我想编写多态而不是任何此类集合的代码,该怎么办？" Traversable哪个地图的行为与仿函数一样"可以表示为一种类型？

长版.我有一种情况,有一个抽象表示一些C urrent类型的对象的集合,这样如果这些对象转换为某些D esired类型,那么集合可以使用这些对象来构造一些对象R esult类型.通过使用函数类型,我几乎可以实现我想要的一切

(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 …