如何在 julia 中創建遞歸類型別名？

Question

我想創建一個嵌套的元組類型，它可以保存自己或它包含的特定類型。

所以我認為：

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

然而，這出現了一個錯誤

LoadError: UndefVarError: NestedTuple not defined

這種類型typealias通常是如何完成的？

（我在茱莉亞 0.4）

Answer 1

這對你正在做的事情有用嗎？

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