如何在Scala中构造简单和类型？能否基于基础数据类型实现？

当然可以！不过这个特性是Scala 3才引入的，叫做联合类型（Union Types），正好对应你想写的type simpleType = Int | String | Boolean这种形式。

先对比下你提到的传统和类型写法——用sealed trait搭配case class实现：

sealed trait Pet
case class Cat(name: String) extends Pet
case class Fish(name: String, color: Color) extends Pet
case class Squid(name: String, age: Int) extends Pet

这种方式是Scala 2里实现和类型的标准方案，优势是能给每个子类型自定义字段和行为，但对于Int、String这类现成的基础类型来说，写法就显得冗余了。

而Scala 3的联合类型刚好解决了这个痛点，你可以直接用|符号把多个基础类型（或任意类型）组合起来，定义出包含这些类型的和类型：

type SimpleType = Int | String | Boolean

// 实际使用示例
def processValue(v: SimpleType): String = v match
  case i: Int => s"处理整数: $i"
  case s: String => s"处理字符串: $s"
  case b: Boolean => s"处理布尔值: $b"

这里的SimpleType就表示它的值可以是Int、String或Boolean中的任意一种，和传统sealed trait实现的和类型一样，你可以通过模式匹配来处理不同类型的情况，而且写法简洁太多。

要注意的是，联合类型是Scala 3的专属新特性，Scala 2并不支持这种语法，如果还在使用Scala 2，还是得靠sealed trait加case class（或case object）的方式来模拟类似效果。

内容的提问来源于stack exchange，提问作者Lando-L