swift - 通用 curry map 功能

Question

我尝试将 map 函数编写为 curried 和 flipped。 (首先转换函数然后收集)。我确实编写了函数并且编译器接受了它。但我无法调用它。编译器给出没有带有提供参数的 map 函数。不管怎样，这是我写的函数:

func map <A: CollectionType, B> (f: (A.Generator.Element) -> B) -> A -> [B] {
    return { map($0, f) }
}

这是测试代码:

func square(a: Int) -> Int {
    return a * a
}

map(square)

注意:代码是使用 Xcode 6.3 beta 2 在 playground 中编写的

Answer 1

这里的问题是 map 不够锁定——A 是什么样的集合？您不能编写生成通用函数的通用函数——当您调用它时，必须完全确定所有占位符的类型。

这意味着您可以按照定义调用您的 map 函数，只要您完全指定 A 和 B 的类型:

// fixes A to be an Array of Ints, and B to be an Int
let squarer: [Int]->[Int] = map(square)

squarer([1,2,3])  // returns [1,4,9]

// fixes A to be a Slice of UInts, and B to be a Double
let halver: Slice<UInt>->[Double] = map { Double($0)/2.0 }

halver([1,2,3])   // returns [0.5, 1, 1.5]