Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:93510
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.192.178 as permitted sender)
To: Andrea Faulds <ajf@ajf.me>, 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>
 <80.72.63510.DAFA5475@pb1.pair.com>
Message-ID: <68fd73e7-ad19-3758-7b7a-6013cc26385f@gmail.com>
Date: Wed, 25 May 2016 08:56:40 -0700
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9; rv:45.0)
 Gecko/20100101 Thunderbird/45.1.0
MIME-Version: 1.0
In-Reply-To: <80.72.63510.DAFA5475@pb1.pair.com>
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] [RFC][Vote] Typed Properties
From: smalyshev@gmail.com (Stanislav Malyshev)

Hi!

> * uninitialised - the constructor (or indeed, other code) is yet to set it
> * null - the property is left intentionally empty

For declared properties, this always has been the same, and I'm not sure
why would we want to change that. This also has a potential to be a huge
BC break if we change it not to be the same, since pretty much all the
code assumes it is the same. We'd essentially have to invent another
null, which is exactly the same as null but isn't null. I don't see a
reason to do this.

> * some other value - the property is intentionally given a value
> 
> A simple example might be a Lisp-style linked list cell:
> 
>     class LinkedList
>     {
>         public int $head;
>         public ?LinkedList $tail;
>     }
> 
> In a properly initialised LinkedList, the $head is some value, and the
> $tail is either another linked list (the remainder of the list), or null
> (we're at the end of the list).

This is a very weird list, as it can't be empty.
-- 
Stas Malyshev
smalyshev@gmail.com