Swift 高阶函数（Church 对又名 cons），具有不接受输入参数类型的泛型参数类型

我正在摆弄 Swift 2.1 中的函数式编程，试图实现教堂编码对/缺点功能 （cons= λx λy λf f x y（无类型）拉姆达演算），我有read在 Swift 的早期版本中无法完成。

With generics看起来像

func cons<S,T,U>(x:S,_ y:T) -> ((S,T) -> U) -> U
{
    return { (f:((S,T) -> U)) -> U in return f(x,y)}
}

cons(1,2)
//error: cannot invoke 'cons' with an argument list of type '(Int, Int)'
//note: expected an argument list of type '(S, T)'

这不起作用，并给出了我无法理解的错误（肯定类型（Int，Int）的参数列表可以匹配泛型类型变量（S，T）？）

如果你摆脱泛型类型，并将它们全部声明为 Int，该函数就可以工作，但我们当然希望能够将长度超过 2 的列表组合在一起；例如，consing 长度为 3 的列表就是 consing Int 和 (Int,Int) -> Int。

另一种选择是将所有内容键入Any (see Any 和 AnyObject 的类型转换），但我也无法做到这一点。

你有什么想法？这在 Swift 中可能实现吗？我确信有更简单的方法来实现cons/car/cdr，但我对 Church 编码特别感兴趣，其中列表元素是匿名函数（lambda）的参数。

func cons<S,T,U>(x:S,_ y:T) -> ((S,T) -> U) -> U
{
    return { (f:((S,T) -> U)) -> U in return f(x,y)}
}

let i: ((Int,Int)->Int)->Int = cons(1,2)
let d: ((Int,Int)->Double)->Double = cons(2,3)
let e: ((Double,Int)->String)->String = cons(2.2, 1)
let e: ((Double,Int)->Double)->Double = cons(2.2, 1)

仍然有一种类型是“额外”类型，编译器无法推断。如果定义类型，您会发现并非所有组合都有效。只需定义输出类型，编译器就会满意

func cons<S,T, U>(x:S,_ y:T, outptAs: U.Type) -> ((S,T) -> U ) -> U
{
    return { (f:((S,T) -> U)) -> U in return f(x,y) }
}

let i = cons(1.2 ,"A", outptAs: Int.self)
let j = cons("alfa","beta", outptAs: Double.self)