- 来源:http://www.cs.mu.oz.au/
- 作者:Ralph Becket
我重新开始了从事编写 Mercury 指南书籍的工作。迄今为止我都是把 Parameter(参数)用来表示“出现在子句(或类型定义)头部的变量”,而把 Argument(参量)用来表示“出现在目标(或类型的实例)中的值”。换句话说,Arguments(参量)就是对 Parameters(参数)的具体化。
我重新开始了从事编写 Mercury 指南书籍的工作。迄今为止我都是把 Parameter(参数)用来表示“出现在子句(或类型定义)头部的变量”,而把 Argument(参量)用来表示“出现在目标(或类型的实例)中的值”。换句话说,Arguments(参量)就是对 Parameters(参数)的具体化。