首先,这是我的实体。 玩家 :@Entity @JsonIdentityInfo(generator=ObjectIdGenerators.UUIDGenerator.class, property="id") public class Player { // other fie...
直觉上,我期望all (==1) [1,1..]的“数学”答案是True,因为只包含1的列表中的所有元素都等于1。然而,我了解到“计算上”,评估无限列表以检查每个元素是否确实等于1的过程将永远不会终止,因此该表达式“评估”为底部或⊥。 我认为这个结果很反直觉,有点令人不安。我认为列表是一个无...