Re: Better types without runtime checking

On Fri, Jun 8, 2018 at 10:50 AM, Rowan Collins <rowan.collins@gmail.com> wrote: > On 8 June 2018 at 08:29, Ryan Jentzsch <ryan.jentzsch@gmail.com> wrote: > > > Also, can anyone in internals respond to this inquiry? > https://github.com/ > > php/php-src/pull/1797#issuecomment-394434391 > > > > For ease of reference, that comment says: > > > Is there a document somewhere that summarizes the reasons why this > proposal was rejected? Have any of the items been addressed since then? > > I would be happy to be proved wrong, but I think the answer is almost > certainly "no, but feel free to write one". Documentation is notoriously > the thing that gets put off most easily, and documentation *of a > discussion* is just not going to be at the top of anyone's todo list. But, > all the discussions are public - on that PR thread, and on the discussion > of the RFC on this list (available through any of several archives) - so > theoretically anyone could go through and summarise the key points. > > I know that's not what you want to hear, but it's just human nature - we > had the discussion, reached a conclusion, and moved on with the next topic. > From what I remember, the key points were: * No support for types on static properties. * No support for taking references to typed properties. * Performance: Feature was not *entirely* free if not used. FTR, Bob and me plan to bring this RFC back up for PHP 7.3 soon, with support for static properties and for references. A mostly finished implementation has been lying around for a while already, so we think it's time to wrap this up and give it another try. Nikita