如何在 Julia 对象中声明变量的类型？

Question

如何在 Julia 中的对象的构造函数中声明一个简约类型的变量？例如，考虑以下内容：

type DetermineType
  foobar::Base.Prod2{LinSpace{Float64},LinSpace{Float64}}
end

function DetermineType(;foo = linspace(0, 1, 10),
                bar = linspace(0, 1, 10))
  foobar = Base.product(foo, bar)
  return DetermineType(foobar)
end

foobar 的声明是Base.Prod2{LinSpace{Float64},LinSpace{Float64}}。我决定使用这种类型，因为它是typeof(foobar) 的输出。虽然这个声明还不算太长，但带有两个以上 Linspace 对象的 Base.product 很快就会变得非常冗长。在浏览了 Julia 关于Types 的文档后，我想我正在寻找foobar 的supertype。但是，我不知道如何获得它。有人可以帮忙吗？

Answer 1

1. 可以通过supertype 访问超类型。在这种情况下，supertype(typeof(foobar)) 是 Base.Iterators.AbstractProdIterator。
2. 您需要专业化的程度取决于您对功能的专业化程度。您很容易最终过度专注于类型。在这种情况下，您或许可以省略类型参数而只使用 foobar::Base.Iterators.Prod2。
3. 我不确定为什么完整类型不漂亮 - 如果您要求类型受到如此限制，它是描述类型要求的一种非常简洁的方式。