Julia: 类型参数中元组中的类型变量

julia> type Foo{N} end

julia> Foo{(true, true)}
Foo{(true,true)}

julia> typealias Bar{N} Foo{N}
Foo{N}

julia> Bar{(true, true)}
Foo{(true,true)}

julia> typealias Baz Foo{(true, true)}
Foo{(true,true)}

julia> typealias Quuz{M, N} Foo{(M, N)}
TypeError: Foo: in parameter, expected Type{T}, got Tuple{TypeVar,TypeVar}

是的，那些应该是元组而不是元组类型。 我责怪@Keno (https://github.com/Keno/Cxx.jl/blob/master/src/cxxtypes.jl#L52)。

我完全希望这不受支持，但我希望让@Keno在(true, false, false)更改Tuple{Val{true}, Val{false}, Val{false}} 。