Discussion Thread: DIP 1042--ProtoObject--Community Review Round 1

[Ola Fosheim Grøstad]

On Friday, 14 January 2022 at 19:22:59 UTC, H. S. Teoh wrote:
> Now you're just splitting hairs.  Number types in a 
> *programming language* (we're not talking about abstract 
> mathematics here) are inherently-ordered types.  This is why `1 
> < 2` always evaluates to true, and `2 < 1` always evaluates to 
> false in D. ass by which its instances should be ordered

Yet x < x+1 does not hold for any types in D. So much for 
ordering principles...