Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:125173
Precedence: bulk
MIME-Version: 1.0
References: <1b59392a-68cb-36eb-0fef-977ac7113520@php.net> <CADZ9LSXN-_oSUumwXmka7xgEy9PsEjUn+O4YGPP-2QPwyaB5_g@mail.gmail.com>
 <e69928c7-a471-4e00-878e-8bbda4d49c4f@app.fastmail.com>
In-Reply-To: <e69928c7-a471-4e00-878e-8bbda4d49c4f@app.fastmail.com>
Date: Fri, 23 Aug 2024 23:45:43 +0200
Message-ID: <CADZ9LSXOA7ZG3LpPfu+D=+qU0TznDBN3O9T9WJ9Rz0EMW_gRoQ@mail.gmail.com>
Subject: Re: [PHP-DEV] State of Generics and Collections
To: Larry Garfield <larry@garfieldtech.com>
Cc: php internals <internals@lists.php.net>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
From: roman.pronskiy@thephp.foundation (Roman Pronskiy)

On Fri, Aug 23, 2024 at 4:31=E2=80=AFPM Larry Garfield <larry@garfieldtech.=
com> wrote:
>
> The null option is always an option, yes.  The thing to understand is tha=
t today, *we already have erased generics*, via PHPStan/Psalm.  That's one =
reason I am, personally, against erased generics in the language proper.  T=
hey don't really offer anything we don't have already.

> As for making docblock generics "official", one, as I noted I hate the cu=
rrent syntax. :-)  Two, that seems unwise as long as PHP still has an optio=
n to remove comments/docblocks at compile time.  Even if it's not used much=
 anymore, the option is still there, AFAIK.

It seems you answered your own point here. Erased generics do bring
better syntax.

> And that's before we even run into the long-standing Internals aversion t=
o even recognizing the existence of 3rd party tools for fear of "endorsing"=
 anything.  (With the inexplicable exception of Docuwiki.)

Are you referring to this page: https://wiki.php.net/wiki/dokuwiki? It
doesn=E2=80=99t appear to be an endorsement and could be removed easily.

Additionally, there are several third-party extensions documented on
php.net, such as Swoole, Ds, Yaf, etc., which are, in a way, endorsed
by their inclusion.