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 <[email protected]> wrote:
>>
>>
>>> Le 1 avr. 2025 à 00:03, Niels Dossche <[email protected]> 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
> [email protected]
"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