Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:127014
Feedback-ID: ifab94697:Fastmail
Precedence: bulk
MIME-Version: 1.0
Date: Tue, 01 Apr 2025 20:13:48 +0200
To: "Iliya Miroslavov Iliev" <i.miroslavov@gmail.com>,
 "Claude Pache" <claude.pache@gmail.com>
Cc: "Niels Dossche" <dossche.niels@gmail.com>,
 "PHP internals" <internals@lists.php.net>
Message-ID: <935826ca-1f9c-4f2b-a13b-51a747560032@app.fastmail.com>
In-Reply-To: 
 <CAGwLL8UvizwZVn3bgs5tRBtxty=Ya3+vUrFsbFubXrg+K-dZnw@mail.gmail.com>
References: <4a3c6ce7-102d-4cfe-a7a8-35630715b870@gmail.com>
 <50B7520A-0FC5-4660-AA5B-2E8D05EA4230@gmail.com>
 <CAGwLL8UvizwZVn3bgs5tRBtxty=Ya3+vUrFsbFubXrg+K-dZnw@mail.gmail.com>
Subject: Re: [PHP-DEV] [RFC brainstorm] Approximately equals operator
Content-Type: multipart/alternative;
 boundary=0ca0dd7a6a604d6aa57a1374a584a06c
From: rob@bottled.codes ("Rob Landers")

--0ca0dd7a6a604d6aa57a1374a584a06c
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable

On Tue, Apr 1, 2025, at 15:06, Iliya Miroslavov Iliev wrote:
> Claude, in your example if `var_dump(false =3D=3D true);` is `false` w=
hat is `true` in this world? It is `true` that `false` is not `true`.=20
>=20
> On Tue, Apr 1, 2025 at 3:39=E2=80=AFPM Claude Pache <claude.pache@gmai=
l.com> wrote:
>>=20
>>=20
>>> 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 PH=
P: 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 "clo=
se enough"!
>>=20
>> Hi Niels,
>>=20
>> A major issue with the `=3D=3D` operator, is that it is not transitiv=
e: https://3v4l.org/dISMi
>>=20
>> I firmly think that it should corrected this with the new `~=3D` oper=
ator: it will make approximate code easier to reason about.
>>=20
>> As a bonus, with this amendment, the principle of explosion could be =
used to severely optimise the implementation.
>>=20
>> =E2=80=94Claude
>=20
>=20
> --
> Iliya Miroslavov Iliev
> i.miroslavov@gmail.com

"The sky is blue is only true when it is daytime, or to put another way:=
 truth is relative"
- A drunk guy on the beach, 2014

=E2=80=94 Rob
--0ca0dd7a6a604d6aa57a1374a584a06c
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 Tue, Apr 1, =
2025, at 15:06, Iliya Miroslavov Iliev wrote:<br></div><blockquote type=3D=
"cite" id=3D"qt" style=3D""><div dir=3D"ltr">Claude, in your example if =
`var_dump(false =3D=3D true);` is `false` what is `true` in this world? =
It is `true` that `false` is not `true`.&nbsp;<br></div><div><br></div><=
div class=3D"qt-gmail_quote qt-gmail_quote_container"><div dir=3D"ltr" c=
lass=3D"qt-gmail_attr">On Tue, Apr 1, 2025 at 3:39=E2=80=AFPM Claude Pac=
he &lt;<a href=3D"mailto:claude.pache@gmail.com">claude.pache@gmail.com<=
/a>&gt; wrote:<br></div><blockquote class=3D"qt-gmail_quote" style=3D"ma=
rgin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:0.8ex;border=
-left-width:1px;border-left-style:solid;border-left-color:rgb(204, 204, =
204);padding-left:1ex;"><div><div><br></div><div><div><br></div><blockqu=
ote type=3D"cite"><div>Le 1 avr. 2025 =C3=A0 00:03, Niels Dossche &lt;<a=
 href=3D"mailto:dossche.niels@gmail.com" target=3D"_blank">dossche.niels=
@gmail.com</a>&gt; a =C3=A9crit :<br></div><div><br></div><div><div><div=
>Hi internals!<br></div><div><br></div><div>I'm excited to share what I'=
ve been working on!<br></div><div>I had an epiphany. I realized what we =
truly need to revolutionize PHP: a new operator.<br></div><div><br></div=
><div>[...]<br></div><div>First of all, if `$a =3D=3D $b` holds, then `$=
a ~=3D $b` obviously.<br></div><div>The true power lies where the data i=
s not exactly the same, but "close enough"!<br></div></div></div></block=
quote><div><br></div></div><div>Hi Niels,<br></div><div><br></div><div>A=
 major issue with the `=3D=3D` operator, is that it is not transitive:&n=
bsp;<a href=3D"https://3v4l.org/dISMi" target=3D"_blank">https://3v4l.or=
g/dISMi</a><br></div><div><br></div><div>I firmly think that it should c=
orrected this with the new `~=3D` operator: it will make approximate cod=
e easier to reason about.<br></div><div><br></div><div>As a bonus, with =
this amendment, the principle of explosion could be used to severely opt=
imise the implementation.<br></div><div><br></div><div>=E2=80=94Claude<b=
r></div></div></blockquote></div><div><br></div><div><br></div><div><spa=
n class=3D"qt-gmail_signature_prefix">--</span><br></div><div dir=3D"ltr=
" class=3D"qt-gmail_signature"><div dir=3D"ltr"><div>Iliya Miroslavov Il=
iev<br></div><div><a href=3D"mailto:i.miroslavov@gmail.com" target=3D"_b=
lank"><span class=3D"color" style=3D"color:rgb(106, 168, 79);">i.mirosla=
vov@gmail.com</span></a><br></div></div></div></blockquote><div><br></di=
v><div>"The sky is blue is only true when it is daytime, or to put anoth=
er way: truth is relative"<br></div><div>- A drunk guy on the beach, 201=
4</div><div><br></div><div id=3D"sig121229152">=E2=80=94 Rob<br></div></=
body></html>
--0ca0dd7a6a604d6aa57a1374a584a06c--