Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:93442
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 74.125.82.41 as permitted sender)
To: internals@lists.php.net
References: <CAL=_i_mcJoFnPgeU5FQCJN=SDYnNK7Jz8zoVMv9EMuWaGRYSMg@mail.gmail.com>
Message-ID: <20a177df-441f-159f-b930-f1586c9cb07b@gmail.com>
Date: Mon, 23 May 2016 11:32:58 +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: <CAL=_i_mcJoFnPgeU5FQCJN=SDYnNK7Jz8zoVMv9EMuWaGRYSMg@mail.gmail.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 20/05/2016 07:05, Joe Watkins wrote:
> Morning internals,
>
>     Since we have our answer on nullable types, typed properties can now go
> to vote.
>
>     https://wiki.php.net/rfc/typed-properties#vote
>
>     Note that, support for nullability as RFC'd will be merged when the
> implementation for nullable_types is merged into master.
>
>     Please participate.
>
> Cheers
> Joe


I'm surprised at how popular this RFC has been; not because I think it's 
a bad thing per se, but I thought it would be more controversial.

I do still think PHP should have a proper road map for typing features, 
though. The issues around typed references in this RFC are a good 
example of how having an increasing number of silos where type 
enforcement takes place leads to odd inconsistencies and limitations. It 
would be nice to have some idea of what the eventual aim is - even if we 
don't know how yet, is the aim in people's minds for "optional typing" 
to extend throughout the language?

This would also help with performance considerations - if type-checking 
is going to become a more important concept in the language, the engine 
should move in a direction which will make that easier, and that may 
affect optimisation decisions.

Regards,
-- 
Rowan Collins
[IMSoP]