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.pa...@gmail.com> wrote: > > > Le 1 avr. 2025 à 00:03, Niels Dossche <dossche.ni...@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.mirosla...@gmail.com
