raku - MixHash 很有用 - 但需要一些说明

Question

这是对 Does Baggy add (+) work on MixHash weights? 的(稍晚)跟进. MixHash 是一个很好的单位比较工具 - 因为我知道我的 dmix => ("m"=>2,"kg"=>1,"s"=>-2).MixHash 对于 'kg m2 per s2' 和 'kg.m^2/s^2' 等等。

这是我寻求的三重清晰度:

我仍然需要将 MixHash (+) MixHash 的结果强制转换为 MixHash(默认结果是不可变的 Mix) - 一个或多个 MixHashen 的操作结果是否仍然意图成为 MixHash？

结果如果 MixHash (+) Any 潜入一个顽皮的不需要的元素 dmix => ("m"=>2,"kg"=>1,"s"=>-2,"MixHash"=>1) - 这是一个错误，对。 [我通过将通货紧缩默认设置为空集来修补... MixHash $.dmix is rw = ∅.MixHash;]

文档 https://docs.raku.org/language/setbagmix将 (+) 显示为宽松的加法，但 (-) 显示为集差。当我做 MixHash (-) MixHash 时，我似乎得到了 Baggy 减法 - 这就是我想要的。希望这是文档中的疏忽？

让我知道我是否可以提供代码或应该提交错误报告...

Answer 1

是的，如果集合运算符的任一侧是可变版本，那么结果也应该是可变版本。如果不是，那就是一个错误。

Any是一个值，尽管是一个未定义的值。如此有效地，右手边的行为就像是 Any.MixHash (这是 (Any=>1).MixHash )。所以这不是一个错误。另外，你也可以说 has %.dmix is MixHash

这确实是文档中的一个问题。实际上不是疏忽，而是更新失败，因为在集合运算符的较旧实现中，这就是行为。