<div dir="ltr"><div dir="ltr">On Fri, 1 Mar 2019 at 13:48, INADA Naoki <<a href="mailto:songofacandy@gmail.com">songofacandy@gmail.com</a>> wrote:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">><br>
><br>
> Is that an invariant you expect to apply to other uses of the +<br>
> operator?<br>
><br>
> py> x = -1<br>
> py> x <= (x + x)<br>
> False<br>
><br>
> py> [999] <= ([1, 2, 3] + [999])<br>
> False<br>
><br>
<br>
Please calm down.  I meant each type implements "sum"<br>
in semantics of the type, in lossless way.<br>
What "lossless" means is changed by the semantics of the type.<br>
<br>
-1 + -1 = -2 is sum in numerical semantics.  There are no loss.<br></blockquote><div><br></div><div>TBH I don't understand what is lossless about numeric addition. What is the definition of lossless?</div><div>Clearly some information is lost, since you can't uniquely restore two numbers you add from the result.</div><div><br></div><div>Unless you define what lossless means, there will be just more misunderstandings.</div><div><br></div><div>--</div><div>Ivan</div><div><br></div><div><br></div></div></div>