El miÃ©., 22 jul. 2020 a las 9:00, Derick Rethans (<firstname.lastname@example.org>)
> 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
> - 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.
> 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