パラメトリック型よりもパラメトリック型を定義する方法は？

Question

は私がインスタンスがA(X(a), a)またはA(Y(a), a)

することができるように、それは LoadError: TypeError: Type{...} expression: expected Type{T}, got TypeVar

として動作しません

type A{T, U} 
    x::U{T} 
    y::T 
end 

ような何かをしたいと思い種類

immutable X{T} 
    a::T 
end 

immutable Y{T} 
    a::T 
end 

を持っていると仮定します

どのような方法が適切ですか？

Answer 1

エラーとして、UはTypeVarで、Typeではありません。答えはUを実際のタイプにすることです：

julia> abstract U{T} 

julia> immutable X{T} <: U{T} 
      a::T 
     end 

julia> immutable Y{T} <: U{T} 
      a::T 
     end 

julia> type A{T} 
      x::U{T} 
      y::T 
     end 

julia> A(X(1),1) 
A{Int64}(X{Int64}(1),1) 

julia> A(X(1),1.) 
ERROR: MethodError: no method matching A{T}(::X{Int64}, ::Float64) 
Closest candidates are: 
    A{T}{T}(::U{T}, ::T) at REPL[4]:2 
    A{T}{T}(::Any) at sysimg.jl:53 

julia> A(Y(1),1) 
A{Int64}(Y{Int64}(1),1)