Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:111102
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 14:10:08 +0200
Message-ID: <CADyq6s+AA0VebVeNi6Fmc3HW4eTO1iXWKyuEH_d9AVLz6cVTBQ@mail.gmail.com>
To: Derick Rethans <derick@php.net>
Cc: PHP Developers Mailing List <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000a5ebf105ab069fbe"
Subject: Re: [PHP-DEV] The @@ is terrible, are we sure we're OK with it?
From: ocramius@gmail.com (Marco Pivetta)

--000000000000a5ebf105ab069fbe
Content-Type: text/plain; charset="UTF-8"

 <http://ocramius.github.com/>


On Wed, Jul 22, 2020 at 2: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?
>

Pretty much clear that @@ is a bad choice - it was picked due to
familiarity of some folks with java annotations,
but it is clear that rust-ish annotations with a clear delimiter have
technical advantages in parsing and future scope/support.

Marco Pivetta

http://twitter.com/Ocramius

http://ocramius.github.com/

--000000000000a5ebf105ab069fbe--