Параметрический тип не работает, как ожидалось в Джулии

Question

Я довольно новыми для Юли, и это сводит меня с ума:

type MyType{T<:Number} 
    x::T 
    y::T 
end 
Float64 <: Number # this is true 
MyType{Float64} <: MyType{Number} #this is for some reason false 

Я бы, конечно, ожидать, что, если я создал два конкретных типов, полученные из того же типа параметрического один с использованием абстрактного типа в качестве параметра, а другой с использованием конкретного типа, который является подтипом абстрактного типа, используемого для первого вывода, тип, полученный с использованием конкретного типа, будет подтипом того, который был получен с использованием абстрактного типа.

Это предложение заняло у меня время, чтобы сочинить. Надеюсь, это понятно.

Answer 1

Это ожидаемое поведение.

Типы в Юлии являются инвариантными, а не ковариантными или контравариантными.

Смотрите этот раздел руководства для более подробного объяснения: http://julia.readthedocs.org/en/latest/manual/types/#man-parametric-types