Re: The @@ is terrible, are we sure we're OK with it?

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