合金中的高阶量化

Question

我正在阅读合金中的高阶量化，并看到以下内容：孤独p：某些X | ˚F
现在，如果关键字'some'修改p或X，我会感到困惑。这是否意味着X应该是非空的，或者它是否意味着p的基数应该是＆gt; = 1。

Answer 1

在这种情况下，“some”修改“X”，意味着X应该是非空的。然而，“孤独”仍然修改“p”，暗示p <= 1的基数。换句话说，这个约束表示在非空集“X”中最多只有一个“p”，这样“F” “是的。