以前对Type相关的概念理解得很模糊，最近写了些代码之后才渐渐有点感觉了。
碰巧看到这个介绍的文档，感觉还算有帮助：
2 个赞
X-ref: 那人今年在Juliacon的talk
用集合语言∀ ∃把Julia的subtyping讲的很清楚，我看完了才弄清楚UnionAll到底是个啥。。
1 个赞