Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:125053
Precedence: bulk
MIME-Version: 1.0
References: <1b59392a-68cb-36eb-0fef-977ac7113520@php.net>
In-Reply-To: <1b59392a-68cb-36eb-0fef-977ac7113520@php.net>
Date: Tue, 20 Aug 2024 00:18:53 +0300
Message-ID: <CAPyeZ4PW24zDD6jLqo3T=PtOF2_qyci4aUNSKBOSZCBh5mY_GQ@mail.gmail.com>
Subject: Re: [PHP-DEV] State of Generics and Collections
To: Derick Rethans <derick@php.net>
Cc: PHP Developers Mailing List <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000d6486306200fdbdd"
From: udaltsov.valentin@gmail.com (Valentin Udaltsov)

--000000000000d6486306200fdbdd
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Monday, 19 of August 2024=E2=80=AF=D0=B3. at 20:11, Derick Rethans <deri=
ck@php.net>
wrote:

> Hi!
>
> Arnaud, Larry, and I have been working on an article describing the
> state of generics and collections, and related "experiments".
>
> You can find this article on the PHP Foundation's Blog:
>
> https://thephp.foundation/blog/2024/08/19/state-of-generics-and-collectio=
ns/
>
> cheers,
> Derick
>

Hi! Thank you very much for the article.

In the "Fully Erased Type Declarations" section you mention that "It's
unclear what impact erased types would have on reflection, or libraries
that depend on reflection."

I wanted to share a thought that if code is analyzed with external tools
like Psalm and PHPStan, it might make sense for reflection to be handled by
external tools as well.

For example, BetterReflection <https://github.com/Roave/BetterReflection>
offers native reflection functionality statically and is already used by
PHPStan and Rector.
Additionally, I maintain a project called Typhoon Reflection
<https://github.com/typhoon-php/typhoon/blob/0.4.x/docs/reflection.md> that
supports phpDoc types and is capable of resolving generics and type aliases=
.

If PHP moves toward a =E2=80=9Cfully erased type system,=E2=80=9D it=E2=80=
=99s possible that in the
future, we could see tools that both analyze code, and provide reflection.

--=20
Best regards,
Valentin

--000000000000d6486306200fdbdd
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div>On Monday, 19 of August 2024=E2=80=AF=D0=B3. at 20:11=
, Derick Rethans &lt;<a href=3D"mailto:derick@php.net" target=3D"_blank">de=
rick@php.net</a>&gt; wrote:<br></div><div class=3D"gmail_quote"><blockquote=
 class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px so=
lid rgb(204,204,204);padding-left:1ex">Hi!<br>
<br>
Arnaud, Larry, and I have been working on an article describing the <br>
state of generics and collections, and related &quot;experiments&quot;.<br>
<br>
You can find this article on the PHP Foundation&#39;s Blog:<br>
<a href=3D"https://thephp.foundation/blog/2024/08/19/state-of-generics-and-=
collections/" rel=3D"noreferrer" target=3D"_blank">https://thephp.foundatio=
n/blog/2024/08/19/state-of-generics-and-collections/</a><br>
<br>
cheers,<br>
Derick<br>
</blockquote></div><br>Hi! Thank you very much for the article.<br><br>In t=
he &quot;Fully Erased Type Declarations&quot; section you mention that &quo=
t;It&#39;s unclear what impact erased types would have on reflection, or li=
braries that depend on reflection.&quot;<br><br>I wanted to share a thought=
 that if code is analyzed with external tools like Psalm and PHPStan, it mi=
ght make sense for reflection to be handled by external tools as well.<br>





<p class=3D"gmail-p1" style=3D"margin:0px;font-variant-numeric:normal;font-=
variant-east-asian:normal;font-variant-alternates:normal;font-size-adjust:n=
one;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;font=
-size:13px;line-height:normal;font-family:&quot;Helvetica Neue&quot;;color:=
rgb(0,0,0)">For example, <a href=3D"https://github.com/Roave/BetterReflecti=
on">BetterReflection</a> offers native reflection functionality statically =
and is already used by PHPStan and Rector.<br>Additionally, I maintain a pr=
oject called <a href=3D"https://github.com/typhoon-php/typhoon/blob/0.4.x/d=
ocs/reflection.md">Typhoon Reflection</a>=C2=A0that supports phpDoc types a=
nd is capable of resolving generics and type aliases.</p><div><div><div><br=
>If PHP moves toward a =E2=80=9Cfully erased type system,=E2=80=9D it=E2=80=
=99s possible that in the future, we could see tools that both analyze code=
, and provide reflection.<br><br></div><span class=3D"gmail_signature_prefi=
x">-- </span><br><div dir=3D"ltr" class=3D"gmail_signature"><div dir=3D"ltr=
">Best regards,<br>Valentin</div></div></div></div></div>

--000000000000d6486306200fdbdd--