Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:125375
Feedback-ID: id5114917:Fastmail
Message-ID: <d9dfb1da-4608-4a27-865f-f4a7ea42db26@rwec.co.uk>
Date: Sun, 1 Sep 2024 13:39:57 +0100
Precedence: bulk
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Subject: Re: [PHP-DEV] Re: [RFC] Default expression
To: internals@lists.php.net
References: <0c8ed5d6-5507-4c41-8d7f-05d14ba8aa4c@scriptfusion.com>
 <fe37b0bc-af11-4209-94bd-c60db59671ff@scriptfusion.com>
Content-Language: en-GB
In-Reply-To: <fe37b0bc-af11-4209-94bd-c60db59671ff@scriptfusion.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
From: imsop.php@rwec.co.uk ("Rowan Tommins [IMSoP]")

On 29/08/2024 22:52, Bilge wrote:
> On 24/08/2024 17:49, Bilge wrote:
>>
>> New RFC just dropped: https://wiki.php.net/rfc/default_expression. I 
>> think some of you might enjoy this one. Hit me with any feedback.
>>
> Now the dust has settled, I've updated the RFC to version 1.1. The 
> premise of the RFC is unchanged, but the proposal has been expanded 
> and a discussion section added to summarise the ~100 message thread to 
> capture the major concerns raised in a condensed format. I hope I've 
> done a good job of fairly and accurately representing your concerns, 
> but if not please correct me.


As promised, I have written up a full explanation of the type safety 
issues here: https://wiki.php.net/rfc/default_expression/type_safety

I have tried to write this as a neutral description of the problem and 
the possible approaches we could take, to be inserted directly into the 
current RFC, rather than as a counter-opinion or a narrative of who said 
what.

I have included the 4 options which I believe are the only ones we have; 
it is then a matter of opinion which we think is best. For the record, 
my opinion remains that option 3 (limit to conditional expressions) is 
preferable, but I have assumed the RFC will continue to advocate for 
option 1 (allow any expression and assume problems will be rare).

I hope I have explained it clearly enough this time to overcome the 
previous misunderstandings of where the issue lies.

Regards,

-- 
Rowan Tommins
[IMSoP]