Re: The @@ is terrible, are we sure we're OK with it?
| From: | Dik Takken | Date: | Wed, 22 Jul 2020 16:43:48 +0000 |
| Subject: | Re: The @@ is terrible, are we sure we're OK with it? | ||
| References: | 1 2 3 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-111128@lists.php.net to get a copy of this message | ||
On 22-07-2020 16:45, Joe Ferguson wrote:
> I would be happy to author an RFC on replacing @@ with #[] but based on
> Larry's comments it sounds like the weighted voting already solved this
> issue for us? We as internals just need to decide that @@ isn't a solution
> and defer to the next ranked vote? I'd be the first one to +1.
That means we effectively disregard the preferences of the ones who
voted for the @@ syntax. We do not know what the @@ voters would have
chosen if the choice was between << >> and #[]. In case the @@ voters
have a preference for << >> the result could turn out differently. The
only way to know is to take another vote.
Regards,
Dik Takken