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

"Terrible" is the amount of humans having their lives taken by a pandemic. This is at most slightly inconvenient for you. The aggressive tone in this discussion is extremely unnecessary. 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? > > - There are lots of grumbles, both on here, room 11, as well as in the > wider community (https://www.reddit.com/r/PHP/comments/hjpu79/it_is/) > - It has the distinct possibility to cause further parsing issues, akin > to what ended up happening with what Nikita is addressing at > https://wiki.php.net/rfc/namespaced_names_as_token > - There is no "end symbol" to make finding occurences easier. > - It is a syntax *no other language* uses. > - @ is never going to go away, so the possibility of @@ moving to @ is > also 0. > > Please, let's do the sensible and use the Rusty #[...] syntax. > > cheers, > Derick > > -- > PHP 7.4 Release Manager > Host of PHP Internals News: https://phpinternals.news > Like Xdebug? Consider supporting me: https://xdebug.org/support > https://derickrethans.nl | > https://xdebug.org | https://dram.io > twitter: @derickr and @xdebug > > -- > PHP Internals - PHP Runtime Development Mailing List > To unsubscribe, visit: https://www.php.net/unsub.php > > -- Marco Aurélio Deleu