Я работаю над DSL и столкнулся с проблемой использования методов в качестве инфиксных операторов в цепочке. Я просто попытаюсь объяснить это с помощью кода. У меня есть черта Term
и case-классы Literal
и Variable
, расширяющие его. Я хочу создать список экземпляров терминов, используя некоторые операторы.
case class Expr(val terms: List[Term]) {
def +(v: String) = Expr(Literal(v) :: terms)
def -->(func: List[String] => List[String]) = terms match {
case Literal(v) :: ts => Expr(Variable(v, func) :: ts)
case _ => throw new Exception("Can only apply function on literal")
}
}
object foo {
def bar(name: String) = Expr(Literal(name) :: Nil)
}
// some functions
val one = ...
val all = ...
// works
foo bar "x"
// res1: Expr = Expr(List(Literal(x)))
// works not
foo bar "x" --> all
// error: value --> is not a member of java.lang.String
// works
(foo bar "x") --> all
// res1: Expr = Expr(List(Variable(x,<function1>)))
Я ожидал, что это будет эквивалентно foo.bar ("x") .--> (all)
, но интерпретатор кажется чтобы увидеть его как foo.bar ("x" -> (all))
.