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

This is only part of a thread. view whole thread
  111107
July 22, 2020 12:44 bukka@php.net (Jakub Zelenka)
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