Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:111136
To: Derick Rethans <derick@php.net>,
 PHP Developers Mailing List <internals@lists.php.net>
References: <alpine.DEB.2.23.453.2007221247530.7489@singlemalt.home.derickrethans.nl>
Message-ID: <1fa0db88-40d1-ff90-03bb-c9b8325ce61d@gmail.com>
Date: Wed, 22 Jul 2020 12:51:33 -0700
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.14; rv:68.0)
 Gecko/20100101 Thunderbird/68.10.0
MIME-Version: 1.0
In-Reply-To: <alpine.DEB.2.23.453.2007221247530.7489@singlemalt.home.derickrethans.nl>
Content-Type: text/plain; charset=utf-8
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] The @@ is terrible, are we sure we're OK with it?
From: smalyshev@gmail.com (Stanislav Malyshev)

Hi!

> I know we've voted twice on this already, but are we really sure that 
> the @@ syntax is a good idea?

I think it's not a very good idea, and <<>> was just fine, but a lot of
folks apparently voted for it. Would be nice to see their opinion and
how they answer your concerns. I'm not sure it's proper to override the
vote unless there are some severe technical concerns that make that
choice impossible.

-- 
Stas Malyshev
smalyshev@gmail.com