Haskell如何知道哪个函数可以先运行？

Question

我在写一个自定义语言，它具有一些功能元素。当我陷入某个地方时，我通常会检查Haskell是如何做到的。这一次，这个问题有点复杂，让我想起一个给Haskell的例子。

这是怎么回事。

说我们有在Haskell以下行

a . b 

。显然，我们正在编写两个函数a和b。但是，如果函数又将另外两个函数作为参数呢？什么阻止了它的运行。和b？您可以将它括在括号中，但这应该没有什么区别，因为表达式仍然计算为函数，前缀一，前缀函数优先于中缀函数。

如果你

(+) 2 3 * 5 

例如，它会输出25，而不是17

基本上要问什么，我是，当你想要一个中缀功能操作不哈斯克尔用什么机制在前面的前缀函数之前。

所以。如果“a”是一个以两个函数为参数的函数。你如何去解释

a . b 

为“适用。和B功能的” 停止Haskell和它解释为“组合功能a和b”。

Answer 1

如果你没有在操作员周围放置pa子，它总是解析为中缀;即作为操作员，而不是操作数。
例如如果您有f g ? i j，那么?附近没有任何包袱，因此整个事情是致电(?)（解析为(f g) ? (i j)，相当于(?) (f g) (i j)）。

Answer 2

(+) 2 3 * 5 

被解析为

((+) 2 3) * 5 

因此

(2 + 3) * 5 

即，由于功能的应用程序（如(+) 2 3）获得第一评价，在缀表示法的功能，如前*。

Answer 3

我认为你要找的是固定性声明（见The Haskell Report）。

他们基本上允许你声明中缀函数的运算符优先级。

例如，有

infixl 7 * 
infixl 6 + 

这意味着+和*都是左结合中缀运算符。 *优先7，而+优先6，我。e *结合强于+。 在报告页面，你还可以看到.被定义为infixr 9 .

Answer 4

基本上我问的是，它哈斯克尔使用什么样的机制，当你想 中缀函数前面的前缀函数之前运行。

只是指出一个误解：这纯粹是表达式如何解析的问题。 Haskell的编译器不知道（或：并不需要知道）如果在

f . g 

f，g和是函数，或任何（）。

它去周围的其他方法：

1. 解析器看到f . g（或者，在语法上是等价的：i + j）
2. 手这件事，就像这样App (App (.) f) g以下的词汇和语法规则。
3. 只有当typechecker看到App a b时，它得出结论a必须是一个函数。