“ fexp→[fexp] aexp（函数应用程序）”中的“ aexp”是什么意思？

Question

Haskell report 2010说

 fexp → [fexp] aexp (function application)

fexp表示函数应用是否正确？

aexp是什么意思？它是否定义为在函数应用程序中用作参数的表达式？

谢谢。

Answer 1

fexp → [fexp] aexp是一个名为{em> fexp 的production rule。表示

e1 e2 e3 ... en

实际上被解析为

( ... ((e1 e2) e3) ... ) en

其中每个ei根据 aexp 生产规则进行解析，并且 n 满足 {{1 }} 。