julia - 有没有办法检查类型在 Julia 类型系统中是否可迭代？

Question

Julia 中的集合需要支持三个可迭代函数:start、next 和 did。

当前是否有一种方法可以表达函数的输入 x 需要在类型系统中可迭代？如果没有，这是否在路线图上？

Answer 1

这可能吗？是的，但不是以一种非常优雅的方式:

julia> x = 1:5
1:5

julia> applicable(start, x)
true

julia> applicable(next,x,start(x))
true

julia> applicable(done,x,start(x))
true

我不确定如何解决对 start(x) 的需求 - 也许检查 start 将“足够好”。

至于更明智的方式，这将需要多重继承或接口(interface)，这正在讨论中，例如here is one issue ，它链接到其他人。