如何在Scala中实现包含正负无穷的整数集合以用于代数结构建模

你当前的实现已经是Scala中代数数据类型（ADT）的典型写法，只需要做几处符合语言习惯的调整，就能更好适配后续代数结构建模的需求：

1. 密封特质定义ADT #

给根特质加sealed关键字，约束所有子类型必须在同一源文件中定义，这样编译器可以在你做模式匹配时自动检查是否遗漏分支，避免运行时匹配错误。同时可以给类型和子类型起更贴合语义的命名：

// 表示扩展整数域：普通整数 + 正负无穷
sealed trait ExtendedInt
case object PosInfinity extends ExtendedInt
case object NegInfinity extends ExtendedInt
case class Finite(value: Int) extends ExtendedInt

2. 基于类型类实现代数结构 #

你定义的Monoid trait本身就是Scala中类型类的标准写法，后续只需要用given（Scala 3）或implicit（Scala 2）给ExtendedInt提供对应的类型类实例即可，和上层代数结构的定义完全解耦，符合Scala的函数式编程习惯。

以扩展整数加法幺半群为例，实现如下：

trait Monoid[T]:
  val zero: T
  def @+(x: T, y: T): T

// 给ExtendedInt提供加法幺半群的类型类实例
given extendedIntAddMonoid: Monoid[ExtendedInt] with
  override val zero: ExtendedInt = Finite(0)
  override def @+(x: ExtendedInt, y: ExtendedInt): ExtendedInt = (x, y) match
    case (Finite(a), Finite(b)) => Finite(a + b)
    // 正负无穷相加属于无定义运算，可根据需求改成返回Option[ExtendedInt]避免异常
    case (PosInfinity, NegInfinity) | (NegInfinity, PosInfinity) =>
      throw new IllegalArgumentException("正负无穷相加无明确数学定义")
    case (PosInfinity, _) => PosInfinity
    case (NegInfinity, _) => NegInfinity
    case (_, PosInfinity) => PosInfinity
    case (_, NegInfinity) => NegInfinity

3. 可选优化点 #

• 如果要求纯函数无副作用，可以将运算返回值修改为Option[ExtendedInt]，无定义场景返回None，避免抛出运行时异常
• 可以额外实现Ordering[ExtendedInt]类型类实例，支持大小比较，便于后续实现更复杂的代数结构或者排序操作
• 如果要实现Group（群）结构，注意完整的扩展整数域不满足群的要求（正负无穷没有逆元），可以单独给有限值子集实现群实例

内容的提问来源于stack exchange，提问作者nhuber