2016-11-24 9:58 GMT+01:00 Dan Ackroyd <dan...@basereality.com>:

> Hi Levi,
>
> On 23 November 2016 at 01:25, Levi Morrison <le...@php.net> wrote:
> >
> > it assumes that all types that are not statically known to the engine are
> > objects. This is a restrictive future compatibility concern.
>
> Any RFC and/or patch can only deal with PHP as it currently is.


No. We had a similar discussion for the context sensitive lexer RFC and
didn't allow some things to make future features easier.


> > Giving up these options for the sake of object
> > variance is definitely not prudent in my opinion.
>
> We would not necessarily be giving them up. We are just adding a small
> amount of complexity that would need to be handled by future RFCs.
>

It's not a small amount of complexity, otherwise we'd already have contra /
covariance.

Regards, Niklas


> Which is true of all RFCs.
>
> > For instance enumerations (or enums) are one possible type I can see us
> > adding that may not be objects.
>
> I very much look forward to the RFC for enums, and have for some time.
> When are you thinking of submitting it for discussion and voting?
>
> cheers
> Dan
> Ack
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>
>

Reply via email to