Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:93518
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)
MIME-Version: 1.0
In-Reply-To: <CANUQDCh7BubU2GnSW24OEEaH=O=m-WKJhntPiSNVy4VadC2M_g@mail.gmail.com>
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> <CANUQDChRE6HyKg81rsC7OW41pCuKK9WEhoai+MQq2+RUsciEGw@mail.gmail.com>
 <BLU436-SMTP2466AC64B0C1930A87E1D74E2400@phx.gbl> <CANUQDCh7BubU2GnSW24OEEaH=O=m-WKJhntPiSNVy4VadC2M_g@mail.gmail.com>
Date: Wed, 25 May 2016 19:10:44 +0200
Message-ID: <CADyq6sJAmZe-HxRRZw+sMiyAKdE=cPMhT9CSYz3J519LgRpLJQ@mail.gmail.com>
To: Niklas Keller <me@kelunik.com>
Cc: Bob Weinand <bobwei9@hotmail.com>, Andrea Faulds <ajf@ajf.me>, 
	PHP Internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=047d7b66fddd3c2b6b0533adc279
Subject: Re: [PHP-DEV] [RFC][Vote] Typed Properties
From: ocramius@gmail.com (Marco Pivetta)

--047d7b66fddd3c2b6b0533adc279
Content-Type: text/plain; charset=UTF-8

Since there are so many questions about nullable state (the default, in
PHP), would it make sense to enforce nullable types, for now?

Specifically, the current RFC could be simplified until further clarity is
made on how non-nullability behaves:

 * we'd enforce users to always have `private ?Type $foo;` in their
signatures for 7.1
 * we'd allow `private Type $foo;` for 7.2, when the behavior of
non-nullable properties is fully clarified
 * until then, `private Type $foo;` will cause a parser error

I'm just trying to simplify things to get such a feature in, as type
checking on object properties is a huge and very beneficial addition.


Marco Pivetta

http://twitter.com/Ocramius

http://ocramius.github.com/

On 25 May 2016 at 19:00, Niklas Keller <me@kelunik.com> wrote:

> >
> > There is a difference between not set and no meaningful value.
> >
>
> In PHP, there's no such difference for properties. And I think we should be
> consistent with the existing behavior here.
>
>
> > The former is literally unset(), the latter is null. The only semantics
> > PHP exposes here is that not set can be upgraded to "no meaningful" value
> > in form of null with a notice.
> >
> > The difference thus is quite minor, but semantically important.
> > Hence to *set* the value, we need to explicitly set null.
> >
> > If we don't do it this way, we won't have a way to explicitly *set*
> > nullable properties to a value (null in this case). (without explicit
> unset
> > in ctor).
> >
> > Bob
>

--047d7b66fddd3c2b6b0533adc279--