分享一个Subtyping的slide


#1

以前对Type相关的概念理解得很模糊,最近写了些代码之后才渐渐有点感觉了。
碰巧看到这个介绍的文档,感觉还算有帮助:

http://gallium.inria.fr/seminaires/transparents/20170925.Francesco.Zappa-Nardelli.pdf


#2

X-ref: 那人今年在Juliacon的talk
https://www.youtube.com/watch?v=Y95fAipREHQ

用集合语言∀ ∃把Julia的subtyping讲的很清楚,我看完了才弄清楚UnionAll到底是个啥。。