Re: [RFC brainstorm] Approximately equals operator

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