12 Oct
2025
12 Oct
'25
8:36 p.m.
Andrzej Krzemienski wrote:
Irrespective of the answer, if there are any justified use cases for observing different members of a cohort, then we have an existential conflict. According to a popular concept of "regular", if two objects compare equal then any (regular) function using either of them should return the same result. Type `double` already breaks this for -0 and +0. Cohorts look like another such breakage.
+0 and -0 only "break" this if you divide by zero. Cohorts don't "break" it ever, I think.