Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:125564
Feedback-ID: ifab94697:Fastmail
Precedence: bulk
MIME-Version: 1.0
Date: Mon, 16 Sep 2024 15:07:55 +0200
To: "Jordan LeDoux" <jordan.ledoux@gmail.com>,
 "Larry Garfield" <larry@garfieldtech.com>
Cc: "php internals" <internals@lists.php.net>
Message-ID: <4b8c42eb-e1b0-4c20-84bf-1e6faf4659ce@app.fastmail.com>
In-Reply-To: 
 <CAMrTa2FwzgJpqGi_LB9bHv4u2JXBTLJK0xry4aLAP0KbJ8s03Q@mail.gmail.com>
References: 
 <CAMrTa2E2m00gOoGy5FbvkrLwM1AUP3ZmJXHkxh_R2qEszQ=NWA@mail.gmail.com>
 <ca0336fc-a6ed-4ced-a3e4-2322bfa6dc76@app.fastmail.com>
 <CAMrTa2FwzgJpqGi_LB9bHv4u2JXBTLJK0xry4aLAP0KbJ8s03Q@mail.gmail.com>
Subject: Re: [PHP-DEV] [Pre-RFC Discussion] User Defined Operator Overloads (again)
Content-Type: multipart/alternative;
 boundary=5b67484ece8f4d5b9b24b7e607099241
From: rob@bottled.codes ("Rob Landers")

--5b67484ece8f4d5b9b24b7e607099241
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable

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.=20

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-l=
ogical result.

=E2=80=94 Rob
--5b67484ece8f4d5b9b24b7e607099241
Content-Type: text/html; charset=utf-8
Content-Transfer-Encoding: quoted-printable

<!DOCTYPE html><html><head><title></title><style type=3D"text/css">p.Mso=
Normal,p.MsoNoSpacing{margin:0}</style></head><body><div>On Mon, Sep 16,=
 2024, at 09:47, Jordan LeDoux wrote:<br></div><blockquote type=3D"cite"=
 id=3D"qt" style=3D""><div dir=3D"ltr"><div class=3D"qt-gmail_quote"><di=
v>The reason for this was to prevent developers from creating situations=
 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=
 already does nonsensical comparisons:<br></div><div><br></div><div><a h=
ref=3D"https://3v4l.org/BZfc8">https://3v4l.org/BZfc8</a><br></div><div>=
<br></div><div>Granted, it is 'technically' correct that ($a &lt;=3D $b =
|| $b &lt;=3D $a) =3D=3D=3D false; but this really should be an error IM=
HO instead of a non-logical result.</div><div><br></div><div id=3D"sig12=
1229152">=E2=80=94 Rob<br></div></body></html>
--5b67484ece8f4d5b9b24b7e607099241--