Re: [PHP-DEV] The @@ is terrible, are we sure we're OK with it?

This is only part of a thread. view whole thread
July 22, 2020 19:51 (Stanislav Malyshev)

> I know we've voted twice on this already, but are we really sure that > the @@ syntax is a good idea?
I think it's not a very good idea, and <<>> was just fine, but a lot of folks apparently voted for it. Would be nice to see their opinion and how they answer your concerns. I'm not sure it's proper to override the vote unless there are some severe technical concerns that make that choice impossible. -- Stas Malyshev