Re: [PHP-DEV] The @@ is terrible, are we sure we're OK with it?

This is only part of a thread. view whole thread
  111102
July 22, 2020 12:10 ocramius@gmail.com (Marco Pivetta)
<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/