Re: The @@ is terrible, are we sure we're OK with it?
| From: | Côme Chilliet | Date: | Wed, 22 Jul 2020 13:58:11 +0000 |
| Subject: | Re: The @@ is terrible, are we sure we're OK with it? | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-111115@lists.php.net to get a copy of this message | ||
Le Wed, 22 Jul 2020 13:00:10 +0100 (BST),
Derick Rethans <derick@php.net> a écrit :
> Please, let's do the sensible and use the Rusty #[...] syntax.
This syntax is the one I liked the less in the proposed choices, given # is
used for comments.
Wouldn’t #[] cause more parsing issues than @@?
What would be the rule, it’d be illegal to start a comment content with '['?
Côme