我在一本Scala书中读到了这样的内容:
For example, this code is an ADT:
sealed trait Bool case object True extends Bool case object False extends Bool
......并且它进一步表示:
ADTs中的“代数”在Haskell wiki上的描述如下:
“代数”是指代数数据类型由“代数”操作创建的属性。 这里的“代数”是类型的“和”和“积”。
但是在上面的代码片段中,这些'代数'操作在哪里?
Bool
是True
和False
的和。 - VLAZ