1
将类型与数据构造函数相关联的ADT编码有什么问题？（例如Scala。）
在Scala中，代数数据类型被编码为sealed一级类型层次结构。例： -- Haskell data Positioning a = Append | AppendIf (a -> Bool) | Explicit ([a] -> [a]) // Scala sealed trait Positioning[A] case object Append extends Positioning[Nothing] case class AppendIf[A](condition: A => Boolean) extends Positioning[A] case class Explicit[A](f: Seq[A] => Seq[A]) extends Positioning[A] 随着case classES和case objectS，斯卡拉产生了一堆东西一样equals，hashCode，unapply（通过模式匹配使用）等这使我们许多关键特性和传统的ADT功能。 但是，有一个关键的区别–在Scala中，“数据构造函数”具有自己的类型。比较以下两个示例（从相应的REPL复制）。 // Scala …