Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:111107
MIME-Version: 1.0
References: <alpine.DEB.2.23.453.2007221247530.7489@singlemalt.home.derickrethans.nl>
In-Reply-To: <alpine.DEB.2.23.453.2007221247530.7489@singlemalt.home.derickrethans.nl>
Date: Wed, 22 Jul 2020 13:44:21 +0100
Message-ID: <CAEKnhAGLSzgv_n=U65dCTRmLUCweEGvHEuO+mwF1QZE4SvUUBQ@mail.gmail.com>
To: Derick Rethans <derick@php.net>
Cc: PHP Developers Mailing List <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000f17a8d05ab07198b"
Subject: Re: [PHP-DEV] The @@ is terrible, are we sure we're OK with it?
From: bukka@php.net (Jakub Zelenka)

--000000000000f17a8d05ab07198b
Content-Type: text/plain; charset="UTF-8"

Hi,

On Wed, Jul 22, 2020 at 1:00 PM Derick Rethans <derick@php.net> wrote:

> Hi all,
>
> I know we've voted twice on this already, but are we really sure that
> the @@ syntax is a good idea?
>

I agree that @@ is really bad. Personally I'd prefer <<...>> but #[...]
seems fine as well (although it's a minor BC break as there could be a
valid comment). I think there are more people that are fine with both
<<...>> and #[...] but don't like @@. Maybe having an option to vote for
more options would be more suitable here or something where it's possible
to vote against @@ rather than just pick one option.

Cheers

Jakub

--000000000000f17a8d05ab07198b--