scala - 总和或产品类型？

Question

鉴于以下 Algebraic Data Type :

scala> sealed trait Person
defined trait Person

scala> case class Boy(name: String, age: Int, x: String) extends Person
defined class Boy

scala> case class Girl(name: String, age: Int, y: Boolean) extends Person
defined class Girl

注意 - 我知道它不是递归类型 - 不涉及递归。

那么，这是一个 Sum或 Product Type ?为什么？

Answer 1

在这种情况下，Person可以被视为和类型，因为它的一个实例是 Boy或 Girl .
Boy (或 Girl )是一种产品类型，因为是 Boy 的实例是 String 类型的组合, Int , 和 String .

这是一篇关于这个“混合”案例的非常好的文章Algebraic Data Types in Scala