实现不带括号的方法调用

Question

我当前的项目（实际上只是一种玩具语言）是一种功能性脚本语言。而且我想允许方法调用而不需要括号进行分组。

sum 1 2 3

这就是问题所在，老实说，我不确定这是否常见。但在我的语言中，方法可以定义执行标识符的参数。

def (a) plus (b)
    a + b
end

最终会是什么

1 plus 2

但是如果我对这些参数使用变量/函数呢？ 例如，我怎么知道“加号”是我正在调用的方法，而不是下面的“getnum”

getnum plus 2

此外，我怎么知道 getnum 是 plus 的参数而不是相反的参数？ （仅仅是通过检查参数签名吗？） 编辑：我只是重复了自己。哎呀。

最后，词法分析器应该为这种事情做一些特别的事情吗？如果是这样，IT 怎么知道应该调用哪个“方法令牌”？还是词法分析器只是将诸如“Identifiertoken”和“literaltoken”之类的东西抽出来，并留给运行时来确定它是一个方法调用？

Answer 1

您的问题是解析问题。但是，更大的问题是您的语言不是syntax-directed。这意味着您的语言的语法与其语义不匹配。例如，考虑以下用您的语言编写的程序：

f g

这可以通过以下两种方式之一进行解析，f 应用于g 或g 应用于f。但是，该语言的语法并不能清楚地表明将生成两个解析树中的哪一个。正如EJP 正确提到的，“这不仅仅是一个解析问题，它是一个语义反馈问题”。

那么，如何使您的语言以语法为导向？让我们从面向对象的语言中汲取灵感。例如：

1 plus 2

在像 JavaScript 这样的面向对象语言中，这可以写成：

Number.prototype.plus = function (n) {
    return this + n;
};

var sum = (1) .plus (2);

alert(sum);

比较两种语言的语法，我们发现唯一的主要区别是标识符plus 前面的点。这就是我们使您的语言以语法为导向所需要的一切。现在，你可以拥有正常的功能了：

.sum 1 2 3

但是，您也可以使用语法导向的中缀函数：

1 .plus 2

现在，以下表达式不再模棱两可：

.f g
f .g

但是，您仍然需要括号来消除某些表达式的歧义：

(.getnum) .plus 2

这是因为 getnum 在应用 plus 之前被调用。这意味着plus(getnum(), 2)。另一方面，getnum .plus 2 表示plus(getnum, 2)，这将是一个错误，因为您不能将plus 应用于函数。

将点视为您的语言的“应用”运算符。使用点甚至可以让你拥有更高阶的函数：

1 .(true .plus-or-minus) 2

这与plus-or-minus(true)(1, 2) 相同。

---

另一种选择是像在 Lisp 中那样引用数据。这种语法噪音要小得多：

1. 普通函数应用，sum 1 2 3。
2. 中缀函数应用，1 plus 2。
3. 带引号的标识符，f 'g 表示f 应用于g，'f g 表示g 应用于f。
4. 引用函数应用程序，'getnum' plus 2 其中 'getnum' 被隐式引用。
5. 高阶函数应用，1 (true plus-or-minus) 2。

希望对您有所帮助。

Answer 2

您正在寻找的是operator precendence 和operator associativity。在无括号方法调用的情况下，空格是函数应用运算符。

Mixfix expressions 使这有点复杂，但毕竟你只需要为你的语言制定一些规则并禁止一些模棱两可的表达。在您的示例中，您将 plus 声明为中缀运算符，并赋予所有中缀运算符高于前缀运算符的优先级。

这是解析器的工作，而不是分词器或词法分析器。