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

Ola Fosheim Grøstad ola.fosheim.grostad at gmail.com
Fri Jan 14 23:51:37 UTC 2022

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...

More information about the Digitalmars-d mailing list