Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:127010
Precedence: bulk
MIME-Version: 1.0
References: <4a3c6ce7-102d-4cfe-a7a8-35630715b870@gmail.com> <50B7520A-0FC5-4660-AA5B-2E8D05EA4230@gmail.com>
In-Reply-To: <50B7520A-0FC5-4660-AA5B-2E8D05EA4230@gmail.com>
Date: Tue, 1 Apr 2025 16:06:26 +0300
Message-ID: <CAGwLL8UvizwZVn3bgs5tRBtxty=Ya3+vUrFsbFubXrg+K-dZnw@mail.gmail.com>
Subject: Re: [PHP-DEV] [RFC brainstorm] Approximately equals operator
To: Claude Pache <claude.pache@gmail.com>
Cc: Niels Dossche <dossche.niels@gmail.com>, PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000fc84f90631b73470"
From: i.miroslavov@gmail.com (Iliya Miroslavov Iliev)

--000000000000fc84f90631b73470
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Claude, in your example if `var_dump(false =3D=3D true);` is `false` what i=
s
`true` in this world? It is `true` that `false` is not `true`.

On Tue, Apr 1, 2025 at 3:39=E2=80=AFPM Claude Pache <claude.pache@gmail.com=
> wrote:

>
>
> Le 1 avr. 2025 =C3=A0 00:03, Niels Dossche <dossche.niels@gmail.com> a =
=C3=A9crit :
>
> Hi internals!
>
> 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.
>
> [...]
> 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"!
>
>
> 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
>


--=20
Iliya Miroslavov Iliev
i.miroslavov@gmail.com

--000000000000fc84f90631b73470
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<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`.=C2=A0</div><br><div class=3D"gmail_quote gmail_quote_container"><div=
 dir=3D"ltr" class=3D"gmail_attr">On Tue, Apr 1, 2025 at 3:39=E2=80=AFPM Cl=
aude Pache &lt;<a href=3D"mailto:claude.pache@gmail.com">claude.pache@gmail=
.com</a>&gt; wrote:<br></div><blockquote class=3D"gmail_quote" style=3D"mar=
gin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1=
ex"><div><br id=3D"m_840899416826995284lineBreakAtBeginningOfMessage"><div>=
<br><blockquote type=3D"cite"><div>Le 1 avr. 2025 =C3=A0 00:03, Niels Dossc=
he &lt;<a href=3D"mailto:dossche.niels@gmail.com" target=3D"_blank">dossche=
.niels@gmail.com</a>&gt; a =C3=A9crit :</div><br><div><div>Hi internals!<br=
><br>I&#39;m excited to share what I&#39;ve been working on!<br>I had an ep=
iphany. 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` o=
bviously.<br>The true power lies where the data is not exactly the same, bu=
t &quot;close enough&quot;!<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:=C2=A0<a href=3D"https://3v4l.org/dISMi" tar=
get=3D"_blank">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 se=
verely optimise the implementation.</div><div><br></div><div>=E2=80=94Claud=
e</div></div></blockquote></div><div><br clear=3D"all"></div><div><br></div=
><span class=3D"gmail_signature_prefix">-- </span><br><div dir=3D"ltr" clas=
s=3D"gmail_signature"><div dir=3D"ltr">Iliya Miroslavov Iliev<div><a href=
=3D"mailto:i.miroslavov@gmail.com" target=3D"_blank"><font color=3D"#6aa84f=
">i.miroslavov@gmail.com</font></a><br></div></div></div>

--000000000000fc84f90631b73470--