> 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
