在我们的代码中，我们同时拥有实数组和复杂数组，它们的精度应与要包装在参数化类型中的精度相同。遵循以下几点将是很棒的：
type NewType{T<:Union{Complex{Float32},Complex{Float64}}}
a::T
b::real(T)
end
不允许以上内容。在julia v0.6中，我得到
ERROR: MethodError: no method matching real(::TypeVar)
是否有一种优雅的方法？
编辑：
结果
type NewType{T<:Union{Float32,Float64}}
a::Complex{T}
b::T
end
完成我想要的。但是我仍然对什么是正确的朱利安方法感兴趣