Rascal中的函数模式、节点和值类型

Question

为什么要做以下工作：

rascal>int increment(int x) = x + 1;
int (int): int increment(int);

rascal>int s = 5;
int: 5

rascal>increment(s);
int: 6

rascal>value vs = s;
value: 5

rascal>increment(vs);
int: 6

...while这样做失败了：

rascal>data Side = leftSide() | rightSide();
ok

rascal>Side swap(leftSide()) = rightSide();
Side (Side): Side swap(Side);

rascal>Side swap(rightSide()) = leftSide();
Side (Side): Side swap(Side);

rascal>Side side = leftSide();
Side: leftSide()

rascal>swap(side)
Side: rightSide()

rascal>value vside = side;
value: leftSide()

rascal>swap(vside)
|stdin:///|(0,11,<1,0>,<1,11>): The called signature: swap(value),
does not match the declared signature:  Side swap(Side); (abstract pattern);  Side swap(Side); (abstract pattern);

Answer 1

问得好。事实上，这是一种未定义的行为。当类型检查器完成时，两个版本都会出现一个静态错误，即：“增量没有在值上完全定义，只在int上定义”和“交换空间没有在值上完全定义，只有在侧”，或者这是徒劳的。

为了避免静态错误，今后您必须添加类似这样的选项，以完成对请求类型的函数：

default int increment(value _) { 
  throw "??? how to increment something that is not an int???"; 
}

default Side swap(value x) { 
    throw "??? how to swap something that is not a Side???";
}

然后就会再次出现动态/运行时错误，但前提是参数不是动态的int或Side；)

请注意，default是必需的，否则值参数将与静态不允许的原始定义重叠。