Re: [RFC brainstorm] Approximately equals operator

On Tue, Apr 1, 2025, at 15:06, Iliya Miroslavov Iliev wrote: > Claude, in your example if var_dump(false == true); is > false what is true in this world? It > is true that false is not > true. > > On Tue, Apr 1, 2025 at 3:39 PM Claude Pache <claude.pache@gmail.com> wrote: >> >> >>> Le 1 avr. 2025 à 00:03, Niels Dossche <dossche.niels@gmail.com> a écrit : >>> >>> 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 == $b holds, then >>> $a ~= $b obviously. >>> The true power lies where the data is not exactly the same, but "close >>> enough"! >> >> Hi Niels, >> >> A major issue with the == operator, is that it is not >> transitive: https://3v4l.org/dISMi >> >> I firmly think that it should corrected this with the new >> ~= 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. >> >> —Claude > > > -- > 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 — Rob