什么是Scala在F#中的歧视联盟的对应？

发布时间：2020-12-16 09:42:26 所属栏目：安全来源：网络整理

如何将F#中的 Discriminated Union转换为Scala：

type Expr =
    | Val     of String
    | Integer of Int32
    | Lower   of Expr * Expr
    | Greater of Expr * Expr
    | And     of Expr * Expr
    | Or      of Expr * Expr

有一个类似的帖子谈论了ADTs in F# and Scala，但这似乎不是我后来的。

解决方法

这是在scala中继承(可能不幸的是，它更详细)

sealed trait Expr
case class Val(s: String) extends Expr
case class Integer(i: Int) extends Expr
case class Lower(left: Expr,right: Expr) extends Expr
case class Greater(left: Expr,right: Expr) extends Expr
...

你可以进一步输入

sealed trait Expr[A]
case class Val(s: String) extends Expr[String]
case class Integer(i: Int) extends Expr[Int]
case class Lower[X](left: Expr[X],right: Expr[X])(implicit val ordering: Ordering[X]) extends Expr[Boolean]

模式匹配

def valueOf[A](expr: Expr[A]) : A = expr match {
   case Val(s) => s
   case Integer(i) => i
   case l @ Lower(a,b) => l.ordering.lt(valueOf(a),valueOf(b))
   ...
}

valueOf在Expr中可能会更好一些

sealed trait Expr[A] {def value: A}
case class Val(value: String) extends Expr[String]
case class Integer(value: Int) extends Expr[Int]
case class Lower[X: Ordering](left: Expr[A],right: Expr[A]) extends Expr[Bool] {
   def value = implicitly[Ordering[X]].lt(left.value,right.value)
}
...

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!