在一本书中,我遇到了以下lambda表达式
(?abc.cba)zz(?wv.w)
我应该如何解释(λabc.cba)的论点？有两个论点吗？
(zz)(?wv.w)
或者有三个论点
(z)(z)(?wv.w)
我怀疑有三个参数,因为通常在数学中使用一个字母来表示变量(与编程中的不同).
有两个参数还是有三个参数？
三个论点
如果没有明确添加括号为zzas (zz),则应用程序关联到左侧,如下所示:
( ( (?abc.cba) z) z) (?wv.w)
这相当于采取三个论点.
| 归档时间： |
|
| 查看次数： |
51 次 |
| 最近记录： |