上一篇 Scala 类型的类型（三） 目录 16. 枚举 17. value 类 18. 类型类 19. 自身类型注解 20. 幽灵类型 16. 枚举 Scala 中并没有像 Java 一样支持枚举语法，但我们可以使用一些技巧（包含在 Enumeration）来写出类似的东西。 …

本文由 Yison 发表在 ScalaCool 团队博客。 上一篇 Scala 类型的类型（二） 目录 11. 抽象类型成员 12. 自递归类型 13. 类型构造器 14. 高阶类型 15. 样例类 11. 抽象类型成员 现在我们来深入了解「类型别名」的使用场景 — 抽象类型成…

本文由 Yison 发表在 ScalaCool 团队博客。 上一篇 Scala 类型的类型（一） 目录 6. 一个单例对象的类型 7. Scala 中的型变 8. Refined Types (refinements) 9. 包对象 10. 类型别名 6. 一个单例对象的类型 …

本文由 Yison 发表在 ScalaCool 团队博客。 原文 http://ktoso.github.io/scala-types-of-types/ 目录 1. Scala 类型的不同类型 2. 写作进度 3. Type Ascription 4. 通用类型系统 — An…

上一篇 Scala 类型的类型（五） 目录 26. 联合类型 27. 延迟初始化 26. 联合类型 ❌ 本部分尚未完成，但你可以通过 Miles 的博客（下方有链接）获得更多了解 :-) 让我们开始来讨论这个类型，这次要借助下「集合论」，然后把我们已经学过的 A with B 当…