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

On Wed, 22 Jul 2020 at 14:00, 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 > > Hello Derick. I do understand your concerns, and I appreciate that you've reached out. Although we are very close to the Feature Freeze date for PHP 8.0 ( https://wiki.php.net/todo/php80), I wouldn't mind opening an exception for this specific case and let you (or someone), create an RFC proposing to change the syntax of Attributes (https://wiki.php.net/rfc/attributes_v2), and that only! I'm copying PHP 8.0's Release Manager Sara, to hear her opinion on this as well. -- Gabriel Caruso