在聊天室里讲了 union type，今天有人告诉我 Ceylo-20200227212555

2020-02-27 21:25 本条微博链接 在聊天室里讲了 union type，今天有人告诉我 Ceylon 语言好像把 union type 做对了。我去看了一下 Ceylon 的文档 网页链接 ，发现确实好像做得很到位了。不但有我心目中期望的 union type，而且有 intersection type，各种集合论关系都比较完备。我推荐大家去看一下 Ceylon 以及这个对 union type 的介绍 网页链接。其实我恐怕是最早实现 union type，并且意识到它的价值的人了。早在 Typed Racket 和 Ceylon 之前，PySonar 就实现了 union type ………………………………