Scala中是否有类似OCaml的可扩展变体类型的函数式实现方案？

OCaml的可扩展变体允许在不同文件中为开放类型新增构造器，且无需修改原有代码。Scala中可以通过以下两种函数式风格的方案实现类似特性，无需依赖类继承的传统方式：

1. Scala 3：开放枚举（Open Enum） #

这是最接近OCaml可扩展变体原生特性的方案，基于Scala 3的开放枚举特性，属于代数数据类型（ADT）范畴，完全符合函数式编程范式。

步骤1：定义基础开放类型 #

在单独文件（如Attr.scala）中定义无构造器的开放枚举：

open enum Attr:
  // 初始无构造器，对应OCaml的`type attr = ..`

步骤2：跨文件扩展构造器 #

在任意其他文件中直接扩展该枚举的构造器，无需修改原文件：

// 新增Str构造器，对应OCaml的`type attr += Str of string`
enum Attr:
  case Str(value: String)

// 同时新增Int和Float构造器，对应OCaml的`type attr += Int of int | Float of float`
enum Attr:
  case Int(value: Int)
  case Float(value: Float)

2. Scala 2：类型类（Type Class）配合ADT #

Scala 2不支持开放枚举，但可以用类型类实现类似的可扩展效果，同样是函数式风格，且支持跨文件扩展：

步骤1：定义基础类型类 #

在Attr.scala中定义类型类作为约束：

trait Attr[A]

步骤2：跨文件扩展类型实例 #

在其他文件中定义自定义ADT，并为其实现类型类实例：

// 定义Str类型并实现Attr实例
case class Str(value: String)
implicit val strAttr: Attr[Str] = new Attr[Str] {}

// 定义IntAttr、FloatAttr类型并实现Attr实例
case class IntAttr(value: Int)
implicit val intAttr: Attr[IntAttr] = new Attr[IntAttr] {}

case class FloatAttr(value: Float)
implicit val floatAttr: Attr[FloatAttr] = new Attr[FloatAttr] {}

使用时可通过隐式参数约束，将所有实现了Attr类型类的类型统一处理，达到类似可扩展变体的效果。

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