Recursion 如何在julia中创建递归typealias？

我想创建一个嵌套的元组类型，它可以保存自己，也可以保存它所包含的特定类型

所以我想：

typealias NestedTuple{T} Tuple{Union(T,NestedTuple{T}),Union(T,NestedTuple{T})}

然而，这带来了一个错误

LoadError: UndefVarError: NestedTuple not defined

这种

typealias

通常是如何实现的

---

（我在茱莉亚0.4版）

这对你的工作有用吗

typealias NestedTuple0{N,T} Tuple{Union(T,N),Union(T,N)}
typealias NestedTuple{T} NestedTuple0{NestedTuple0{T},T}

注意：我只能在036而不是04中尝试此功能

---

使用示例：

function rnt(p)
    np = 0.95*p
    a=rand() <p ? rnt(np) : 1
    b=rand() <p ? rnt(np) : 2
    (a,b)
end

x=rnt(1.0)

typeof(x)<:NestedTuple{Int64} #returns true

功能rnt（p）
np=0.95*p
a=rand（）无法解决此问题，但：