Julia 元组
阐述
能够放入任何值的固定长度容器，其中值可以用下标访问，而且是不可变的。
语法
Tuple{T, U, ...}
语义
多个元素所形成的元组对应的类型。
元组类型是协变的，因此只有当所有参数都是具象的时候，元组类型才是具象的。这个定义是为了让它和函数形参的类型特点具有一致性。
元组类型的最后一个参数可以是 Vararg{T} 或者 Vararg{T,N}，表示不定或确定数量的、同类型的多个参数。它对应的是具有可变参数数量的函数。
NTuple{N,T} 是 Tuple{Vararg{T,N}} 的简写。
实例
julia> typeof((1,"foo",2.5))
Tuple{Int64, String, Float64}
julia> Tuple{Int,AbstractString} <: Tuple{Real,Any}
true