Parameter(参数)用来表示“出现在子句(或类型定义)头部的变量”, Argument(参量)用来表示“出现在目标(或类型的实例)中的值”。 换句话说,Arguments(参量)就是对 Parameters(参数)的具体化。