5

我正在尝试创建 DSL 并遇到问题。我有这些定义：

case class Var(name: String)
case class Lam(v: Var, t: Var)
val (a, b) = (Var("a"), Var("b"))

我希望能够做到这一点：

scala> \ a b
Lam(Var(a),Var(b))

阅读括号删除规则，我发现我需要链接每个接受一个参数的函数，所以我创建了一系列执行构造的“构建器”类：

class LamBuilderB(v: Var) {
    def apply(t: Var) = Lam(v, t)
}

class LamBuilderA {
    def apply(v: Var) = new LamBuilderB(v)
}

val \ = new LamBuilderA

我曾希望这会奏效，因为每个apply都只需要一个参数。但是，删除括号似乎是不合法的，apply因为它希望将参数视为方法名称：

scala> \(a)(b)
res95: Lam = Lam(Var(a),Var(b))

scala> \ a b
error: value a is not a member of LamBuilderA
    \ a b
      ^

任何想法如何在没有括号的情况下获得 DSL 语法？

奖励问题：我能得到这个吗？：

scala> \a.b
Lam(Var(a),Var(b))
4

1 回答 1

6

您可以使用 4 个一元前缀运算符（~, !, +, -）之一非常接近：

trait Expr {
    def &(other: Expr) = Lam(this, other)
    def unary_~ = this
}

case class Var(name: String) extends Expr
case class Lam(a: Expr, b: Expr) extends Expr

scala> ~ Var("a") & Var("b")
res0: Lam = Lam(Var(a),Var(b))

scala> ~ Var("a") & Var("b") & Var("c")
res1: Lam = Lam(Lam(Var(a),Var(b)),Var(c))
于 2011-07-21T18:37:38.427 回答