Re: [PHP-DEV] Better types without runtime checking

2018-06-08 Thread Rowan Collins
On 8 June 2018 at 15:36, Pedro Magalhães wrote: > On Fri, Jun 8, 2018 at 1:28 PM Rowan Collins > wrote: > >> I presume you mean 7.4, since 7.3 is in alpha already, and this is quite a >> major change? >> > > AFAIK, alpha1 was tagged but it still didn't branch off master. That'll > only happen on

Re: [PHP-DEV] Better types without runtime checking

2018-06-08 Thread Pedro Magalhães
On Fri, Jun 8, 2018 at 1:28 PM Rowan Collins wrote: > On 8 June 2018 at 10:22, Nikita Popov wrote: > > > > > 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

Re: [PHP-DEV] Better types without runtime checking

2018-06-08 Thread Rowan Collins
On 8 June 2018 at 10:22, Nikita Popov wrote: > > 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 giv

Re: [PHP-DEV] Better types without runtime checking

2018-06-08 Thread Nikita Popov
On Fri, Jun 8, 2018 at 10:50 AM, Rowan Collins wrote: > On 8 June 2018 at 08:29, Ryan Jentzsch 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 the

Re: [PHP-DEV] Better types without runtime checking

2018-06-08 Thread Rowan Collins
On 8 June 2018 at 08:29, Ryan Jentzsch 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

Re: [PHP-DEV] Better types without runtime checking

2018-06-08 Thread Marco Pivetta
On Fri, Jun 8, 2018 at 9:29 AM, Ryan Jentzsch wrote: > Thanks Rowan for the detailed explanation. > I thought that leveraging `__get` / `__set` internally would have addressed > many of the type checking issues that you mentioned. > I've used __get/__set in userland to enforce property types and

Re: [PHP-DEV] Better types without runtime checking

2018-06-08 Thread Ryan Jentzsch
Thanks Rowan for the detailed explanation. I thought that leveraging `__get` / `__set` internally would have addressed many of the type checking issues that you mentioned. I've used __get/__set in userland to enforce property types and hoped that an internal C based solution would something that is