rascal - `*x` 和 `x*` 之间有什么区别吗？

Question

我发现在一些演示代码中，同时使用了*x和x*。有时，星号也用在类型上，例如 *int xs。在帮助中，仅记录了模式 Var*。将星号放在模式变量之前或之后有什么区别吗？

Answer 1

好问题。答案既是肯定的，又不是:

• 是:后缀 *已被弃用，因为它会在事物的表达方面的一些奇怪的上下文中触发后修复传递闭包的语法歧义。这在模式中不会发生，但为了保持一致性，我们希望有前缀 *将模式中的“splat”和表达式中的“splice”表示为对偶运算符，并删除后缀 *以避免混淆。
• 否:当应用于模式中的变量时，它们将具有相同的语义。

所以，请使用前缀+和前缀 *当我们删除 postfix * 时，是否可以避免将来升级的痛苦和+从语言来看。