Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:125570
Precedence: bulk
MIME-Version: 1.0
References: <CAMrTa2E2m00gOoGy5FbvkrLwM1AUP3ZmJXHkxh_R2qEszQ=NWA@mail.gmail.com>
 <ca0336fc-a6ed-4ced-a3e4-2322bfa6dc76@app.fastmail.com> <CAMrTa2FwzgJpqGi_LB9bHv4u2JXBTLJK0xry4aLAP0KbJ8s03Q@mail.gmail.com>
 <4b8c42eb-e1b0-4c20-84bf-1e6faf4659ce@app.fastmail.com>
In-Reply-To: <4b8c42eb-e1b0-4c20-84bf-1e6faf4659ce@app.fastmail.com>
Date: Mon, 16 Sep 2024 10:58:05 -0700
Message-ID: <CAMrTa2GuqVCRoJvFj=xX2SyK5qLYgtrj3-0ofxTmEy-CwOWg0w@mail.gmail.com>
Subject: Re: [PHP-DEV] [Pre-RFC Discussion] User Defined Operator Overloads (again)
To: Rob Landers <rob@bottled.codes>
Cc: Larry Garfield <larry@garfieldtech.com>, php internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000493c3f0622405110"
From: jordan.ledoux@gmail.com (Jordan LeDoux)

--000000000000493c3f0622405110
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Mon, Sep 16, 2024 at 6:08=E2=80=AFAM Rob Landers <rob@bottled.codes> wro=
te:

> On Mon, Sep 16, 2024, at 09:47, Jordan LeDoux wrote:
>
> The reason for this was to prevent developers from creating situations
> where `5 > $foo` is true and `5 < $foo` is true.
>
>
> Just to point out: currently, PHP already does nonsensical comparisons:
>
> https://3v4l.org/BZfc8
>
> Granted, it is 'technically' correct that ($a <=3D $b || $b <=3D $a) =3D=
=3D=3D
> false; but this really should be an error IMHO instead of a non-logical
> result.
>
> =E2=80=94 Rob
>

Yes, the default comparisons for objects is a little strange. This should
be helped by Gina's RFC which I mentioned in my original email. The main
issue is that at the moment Equatable and Orderable are inseparable within
the PHP engine.

Jordan

--000000000000493c3f0622405110
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div dir=3D"ltr"><br></div><br><div class=3D"gmail_quote">=
<div dir=3D"ltr" class=3D"gmail_attr">On Mon, Sep 16, 2024 at 6:08=E2=80=AF=
AM Rob Landers &lt;rob@bottled.codes&gt; wrote:<br></div><blockquote class=
=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rg=
b(204,204,204);padding-left:1ex"><div class=3D"msg3841890332324041753"><u><=
/u><div><div>On Mon, Sep 16, 2024, at 09:47, Jordan LeDoux wrote:<br></div>=
<blockquote type=3D"cite" id=3D"m_3841890332324041753qt"><div dir=3D"ltr"><=
div><div>The reason for this was to prevent developers from creating situat=
ions where `5 &gt; $foo` is true and `5 &lt; $foo` is true. <br></div></div=
></div></blockquote><div><br></div><div>Just to point out: currently, PHP a=
lready does nonsensical comparisons:<br></div><div><br></div><div><a href=
=3D"https://3v4l.org/BZfc8" target=3D"_blank">https://3v4l.org/BZfc8</a><br=
></div><div><br></div><div>Granted, it is &#39;technically&#39; correct tha=
t ($a &lt;=3D $b || $b &lt;=3D $a) =3D=3D=3D false; but this really should =
be an error IMHO instead of a non-logical result.</div><div><br></div><div =
id=3D"m_3841890332324041753sig121229152">=E2=80=94 Rob<br></div></div></div=
></blockquote><div><br></div><div>Yes, the default comparisons for objects =
is a little strange. This should be helped by Gina&#39;s RFC which I mentio=
ned in my original email. The main issue is that at the moment Equatable an=
d Orderable are inseparable within the PHP engine.</div><div><br></div><div=
>Jordan<br></div></div></div>

--000000000000493c3f0622405110--