Re: The @@ is terrible, are we sure we're OK with it?
| From: | Marco Pivetta | Date: | Wed, 22 Jul 2020 12:10:08 +0000 |
| Subject: | Re: The @@ is terrible, are we sure we're OK with it? | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-111102@lists.php.net to get a copy of this message | ||
<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/