Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:93555
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 74.125.82.53 as permitted sender)
To: internals@lists.php.net
References: <CAL=_i_mcJoFnPgeU5FQCJN=SDYnNK7Jz8zoVMv9EMuWaGRYSMg@mail.gmail.com>
 <BY2PR0201MB17845690B6386D75AF4C3D79BF4F0@BY2PR0201MB1784.namprd02.prod.outlook.com>
 <CAL=_i_=EqNoHvXmY+RdQW-reC4YF8AkuWFtGGJGOOSqX4a010g@mail.gmail.com>
 <cfe8404a-54f6-24b7-0ba8-8f807c820821@zend.com>
 <CAL=_i_kze8MNSmpg4WT+EJCRPmvty=8DA6DkuHSx+WCBzJjytg@mail.gmail.com>
 <CAF+90c9cBqKfy_q5rME1u56Rq366niYUBDTY+3_2iFJSZD9fDA@mail.gmail.com>
 <CANUQDCj0O6aVwTqo+CcAbX8AWvwPQHfhRtsYRUrMS_aFjHM5RQ@mail.gmail.com>
 <7B.12.14311.F79C5475@pb1.pair.com>
 <1b12b09f-f190-dca0-51d9-468e9c571268@fleshgrinder.com>
 <4ec823c6-b039-fc91-7c78-60d67719cd81@gmail.com>
 <00482771-3a07-06cf-ee8d-cd83a301c7e7@fleshgrinder.com>
 <a65f2a52-f2fd-2a08-966d-2f2c30badfbd@gmail.com>
 <1ac579b7-6bf3-f362-c045-0261abcfa17c@fleshgrinder.com>
Message-ID: <f6ea7f29-e693-e616-a588-c88b46c0b1a1@gmail.com>
Date: Thu, 26 May 2016 11:03:48 +0100
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:45.0) Gecko/20100101
 Thunderbird/45.1.0
MIME-Version: 1.0
In-Reply-To: <1ac579b7-6bf3-f362-c045-0261abcfa17c@fleshgrinder.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] [RFC][Vote] Typed Properties
From: rowan.collins@gmail.com (Rowan Collins)

On 26/05/2016 08:52, Fleshgrinder wrote:
> I understand where you are getting at. Another proposal after giving
> this some more thought.

Could you summarise what your proposal actually is; I got a bit lost 
with what your long list of examples was trying to show me.


> Note that the behavior of isset() and empty() was already once changed
> during the 5.4 feature release!

Can you provide a reference for that? The only thing mentioned in the 
changelog in the manual is this rather rare situation:

$foo = 'a string';
isset($foo['some_key']);

$foo['some_key'] doesn't actually have much of a meaning in that case, 
anyway, and it has nothing to do with initialisation.

Regards,
-- 
Rowan Collins
[IMSoP]