Julia类型图如何处理数组？

我试图理解Julia类型图中数组的结构。对我来说，这似乎非常违反直觉：

julia> Int64 <: Number
true

julia> Array{Int64,1} <: Array{Number,1}
false

julia> Array{Int64,1} <: Array{Int,1}
true

---

在手册的下一页中，a似乎描述了julia的类型是不变的，而不是协变的。

请特别参阅警告警告说明

---

最后一点非常重要：尽管手册的下一页中描述了julia的类型是不变的，而不是协变的。

请特别参阅警告警告说明

---

最后一点非常重要：尽管Float64这个答案非常好，但您可能应该指出，在64位系统上，Int==int64这个答案非常好，但您可能应该指出，在64位系统上，Int==Int64Vector{T}where T Vector{T}where T