Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:117575
Message-ID: <2fcee325-9ac1-8ad4-f55b-a0627c53a445@gmail.com>
Date: Fri, 22 Apr 2022 22:08:06 +0100
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
 Thunderbird/91.8.0
Content-Language: en-GB
To: internals@lists.php.net
References: <6261d073.1c69fb81.a42c.d7cfSMTPIN_ADDED_MISSING@mx.google.com>
 <CALKiJKpFGUJL8jNYaEv6rRaj9q_FVBcwmr_iJtGq2gjDdHxA4Q@mail.gmail.com>
 <6262e219.1c69fb81.f1cd4.6ff5SMTPIN_ADDED_MISSING@mx.google.com>
 <eaacd2a9-1ff8-1e5a-4028-e0df9172fd4b@gmail.com>
 <6263147d.1c69fb81.c372a.2e76SMTPIN_ADDED_MISSING@mx.google.com>
In-Reply-To: <6263147d.1c69fb81.c372a.2e76SMTPIN_ADDED_MISSING@mx.google.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] [VOTE] Undefined Property Error Promotion
From: rowan.collins@gmail.com (Rowan Tommins)

On 22/04/2022 21:47, Mark Randall wrote:
> The rule that anything typed must be initialized, nullable or not, is 
> clearish enough.


It's "clear" in the sense of "it can be described in one sentence". It's 
not at all "clear" in the sense of "makes any logical sense whatsoever".


> You could special case nullable, but then it's an extra rule to learn 
> beyond "typed = needs to be initialized". 


I'm more inclined to the opposite: if reading an "undefined" property is 
going to be an error, maybe reading an "uninitialized" one should be 
too, even if you don't declare a type for it.

And maybe we should think about exactly what unset() means, and which 
error you're going to get after you use it - is the property "undefined" 
or "uninitialized"? Currently, an untyped property becomes "undefined", 
as though it never existed; but a typed property is still on the object, 
but "uninitialized". Yet either way, assigning a new value brings back 
the declared property, not a dynamic one with the same name: 
https://3v4l.org/nClNs

Regards,

-- 
Rowan Tommins
[IMSoP]