如何在swift中使用泛型定义类型别名[重复]

Question

我正在快速研究谓词转换器函数：

infix operator ⋀ {}
infix operator ∨ {}
prefix operator ¬ {}
infix operator ⟹ {}


func ⋀ <T>(A : T->Bool , B: T->Bool)->T->Bool{
    return { x in A(x) && B(x)}
}

func ∨ <T>(A : T->Bool , B: T->Bool)->T->Bool{
    return { x in A(x) || B(x)}
}

prefix func ¬ <T>(A : T->Bool)->T->Bool{
    return { x in !A(x)}
}


func ⟹ <T>(A : T->Bool , B: T->Bool)->T->Bool{
    return { x in (¬A ∨ B)(x)}
}

func TRUE<T>()->T->Bool{
    return{x in true}
}

func FALSE<T>()->T->Bool{
    return{x in false}
}

infix operator ∘ {}
func ∘ <X,Y,Z>(f:X->Y, g:Y->Z)->X->Z{
    return{ x in g(f(x))}
}

func PTRANS<X,Y> (f:X->Y)->(Y->Bool)->(X->Bool){
    return {q in (f ∘ q) }
}

我尝试为谓词类型定义一个类型别名：PRED<T> = X->Bool 其中X 是泛型类型，以便我的代码可以重写，例如喜欢 ：

func PTRANS<X,Y> (f:X->Y)->PRED<Y>->PRED<X>{
    return {q in (f ∘ q) }
}

我试过了：

typealias PRED = <T>(T->Bool)

但我收到以下错误消息：

只有句法类型可以是泛型的

尝试：typealias PRED<T> = (T->Bool) 似乎在语法上不正确，导致：

类型别名声明中的预期 =

我如何为 T 上的谓词声明类似于 Array<T> 的 typealias ： typealias PRED<T> = T->Bool ?

有什么想法吗？

Answer 1

至少目前，typealias 不支持泛型类型别名，例如 C++ 中的 using 关键字。

但你可以通过以下方式做到这一点。

struct Pred<A> {
    typealias t = A -> Bool
}
let gt2: Pred<Int>.t = { n in n > 2 }