Scala示例中泛型约束`:<:`和`:+:`的含义及相关问题

代码背景 #

这段代码出自2017年Nanopass编译器主题演讲，其中的:<:和:+:是函数式编程中用于构建可扩展语法树的类型工具，以下是具体解答：

1. 两个操作符的作用 #

• :+:：这是余积（Coproduct）类型构造器，用于将两个类型构造器（比如示例中的Let和F）组合成一个新的类型构造器，语义上表示"要么是前者的实例，要么是后者的实例"。比如Let :+: F意味着该类型的值要么是Let[A]，要么是F[A]，这种设计让Nanopass编译器可以模块化扩展语法节点，无需修改已有代码。
• :<:：这是Inject（注入）类型类的隐式约束语法，用于声明一个类型构造器（比如Lambda）是另一个更大的类型构造器（比如F）的"子组件"，确保Lambda的实例可以安全转换为F的实例。它常与:+:配合，保证小范围的语法节点能嵌入到更复杂的语法集合中。

2. 起源 #

这两个符号都源自Scalaz库——早期Scala生态中核心的函数式编程库，是为支持递归模式（Recursion Schemes）和可扩展嵌入式领域特定语言（EDSL）设计的：

• :+:对应scalaz.Coproduct类型，思想来自范畴论中的余积概念；
• :<:对应scalaz.Inject类型类的隐式约束语法，目的是实现语法节点的模块化组合，完美适配Nanopass这种分阶段编译的场景。

3. Scala最新版本及相关库中的现代等价实现 #

针对:+:（余积） #

• Cats库（Scalaz的主流后继者）：使用cats.data.Coproduct替代，用法类似但无符号语法，比如Coproduct[Let, F, A]，可通过类型别名简化书写；
• Scala 3原生支持：直接使用枚举（Enum）或代数数据类型（ADT）的联合类型，比如：

  enum Expr[A]:
    case Let(bindings: List[(String, A)], body: A)
    case If(test: A, consequent: A, alt: A)
    // 其他语法节点直接添加到枚举中
  

  原生ADT比库提供的余积更直观，模式匹配也更简洁。

针对:<:（注入约束） #

• Cats库：对应cats.data.Inject类型类，显式使用Inject[Lambda, F]作为隐式约束，功能与Scalaz一致；
• Scala 3原生支持：借助联合类型和增强的模式匹配，多数场景下无需显式注入约束，直接匹配语法节点即可。若需模块化扩展，可通过类型类派生或扩展方法实现类似的注入逻辑，代码更简洁。

原代码片段 #

final case class Let[A](bindings: List[(String, A)], body: A)
final case class If[A](test: A, consequent: A, alt: A)

def expandLet[Lambda :<: F]: Fix[Let :+: F] => Fix[F] =
  _.unFix match {
    case Let(bindings, body) =>
      bindings.unzip((names, exprs) =>
        Fix(App(Fix(Lam(names, expandLet(body)).inject),
                exprs.map(expandLet)).inject))
    // and don’t forget the other cases
  }

def expandIf[Lambda :<: F]: Fix[If :+: F] => Fix[F] =
  _.unFix match {
    case If(test, consequent, alt) =>
      Fix(App(expandIf(test), List(
        Fix(Lam(Nil, expandIf(consequent))),
        Fix(Lam(Nil, expandIf(alt))))))
    // seriously, still gotta handle the other cases
  }

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