Как определить параметрический тип по параметрическому типу?

Question

Предположим, у меня есть типы

immutable X{T} 
    a::T 
end 

immutable Y{T} 
    a::T 
end 

Я хотел бы сделать что-то вроде

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

Так что случаи могут быть A(X(a), a) или A(Y(a), a)

Это не работает, как LoadError: TypeError: Type{...} expression: expected Type{T}, got TypeVar

Каков правильный путь?

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)