Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:127009
Message-ID: <50B7520A-0FC5-4660-AA5B-2E8D05EA4230@gmail.com>
Content-Type: multipart/alternative;
	boundary="Apple-Mail=_ED221E7F-C49D-4B27-AD9B-80446C8D43D0"
Precedence: bulk
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3826.400.131.1.6\))
Subject: Re: [PHP-DEV] [RFC brainstorm] Approximately equals operator
Date: Tue, 1 Apr 2025 14:36:40 +0200
In-Reply-To: <4a3c6ce7-102d-4cfe-a7a8-35630715b870@gmail.com>
Cc: PHP internals <internals@lists.php.net>
To: Niels Dossche <dossche.niels@gmail.com>
References: <4a3c6ce7-102d-4cfe-a7a8-35630715b870@gmail.com>
From: claude.pache@gmail.com (Claude Pache)


--Apple-Mail=_ED221E7F-C49D-4B27-AD9B-80446C8D43D0
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
	charset=utf-8



> Le 1 avr. 2025 =C3=A0 00:03, Niels Dossche <dossche.niels@gmail.com> a =
=C3=A9crit :
>=20
> Hi internals!
>=20
> I'm excited to share what I've been working on!
> I had an epiphany. I realized what we truly need to revolutionize PHP: =
a new operator.
>=20
> [...]
> First of all, if `$a =3D=3D $b` holds, then `$a ~=3D $b` obviously.
> The true power lies where the data is not exactly the same, but "close =
enough"!
>=20

Hi Niels,

A major issue with the `=3D=3D` operator, is that it is not transitive: =
https://3v4l.org/dISMi

I firmly think that it should corrected this with the new `~=3D` =
operator: it will make approximate code easier to reason about.

As a bonus, with this amendment, the principle of explosion could be =
used to severely optimise the implementation.

=E2=80=94Claude=

--Apple-Mail=_ED221E7F-C49D-4B27-AD9B-80446C8D43D0
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html;
	charset=utf-8

<html><head><meta http-equiv=3D"content-type" content=3D"text/html; =
charset=3Dutf-8"></head><body style=3D"overflow-wrap: break-word; =
-webkit-nbsp-mode: space; line-break: after-white-space;"><br =
id=3D"lineBreakAtBeginningOfMessage"><div><br><blockquote =
type=3D"cite"><div>Le 1 avr. 2025 =C3=A0 00:03, Niels Dossche =
&lt;dossche.niels@gmail.com&gt; a =C3=A9crit :</div><br =
class=3D"Apple-interchange-newline"><div><div>Hi internals!<br><br>I'm =
excited to share what I've been working on!<br>I had an epiphany. I =
realized what we truly need to revolutionize PHP: a new =
operator.<br><br>[...]<br>First of all, if `$a =3D=3D $b` holds, then =
`$a ~=3D $b` obviously.<br>The true power lies where the data is not =
exactly the same, but "close =
enough"!<br><br></div></div></blockquote><div><br></div></div>Hi =
Niels,<div><br></div><div>A major issue with the `=3D=3D` operator, is =
that it is not transitive:&nbsp;<a =
href=3D"https://3v4l.org/dISMi">https://3v4l.org/dISMi</a></div><div><br><=
/div><div>I firmly think that it should corrected this with the new `~=3D`=
 operator: it will make approximate code easier to reason =
about.</div><div><br></div><div>As a bonus, with this amendment, the =
principle of explosion could be used to severely optimise the =
implementation.</div><div><br></div><div>=E2=80=94Claude</div></body></htm=
l>=

--Apple-Mail=_ED221E7F-C49D-4B27-AD9B-80446C8D43D0--