Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:127421
Precedence: bulk
MIME-Version: 1.0
Date: Thu, 22 May 2025 09:16:43 +0300
Message-ID: <CAL0xaBFAcLzKvxH7OP7wegGL4ugbEjpCqGT5VW49XJhoubeQxA@mail.gmail.com>
Subject: [PHP-DEV] Generics - Userland implementation via attributes (released today). Discussion and seeking advice for improvement
To: PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000149af40635b36f2b"
From: arvids.godjuks@gmail.com (Arvids Godjuks)

--000000000000149af40635b36f2b
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Hello Internals!

My friend Grigory has cooked up an exciting package implementing generics
with full runtime type checking in userland.
I honestly believe it can be surpassed only by doing a full native
implementation (which we know is fairly unfeasible from Nikita's previous
research), it's transparent to the PHP code (if disabled, the code will
still run just fine), is pretty light performance impact wise and requires
zero pre and post processing (aka "compiling") of the code. It's as
transparent for the developers as possible.

https://packagist.org/packages/grikdotnet/generics
https://github.com/grikdotnet/generics

List on what's implemented and what is possible:
https://github.com/grikdotnet/generics/blob/master/documentation/story.md#i=
mplemented
The documentation folder contains quite a bit of information :)

I'm posting this to internals for the following reasons:

   - * Seeking advice and know-how on how to improve performance
   - * Ideas on making the syntax better
   - * Explore the possibility of making changes to the PHP engine
      - Improve performance
      - Support extended syntax in the attributes
      like #[\Generics\T(Collection<int><float>)] so it doesn't have to be =
a
      string that needs to be parsed as it's now
      - Return type attributes?
      - How about having a built in generics empowering attribute that
      userland libraries can take advantage off and do implementations?
   - Having an extended discussion of the feature and where it can be taken
   going forward
   - Seeking help with implementing missing features, code review, etc

Grigory has signed up to the list, so you can direct all the questions in
the thread to him :)

Sincerely,
Arv=C4=ABds Godjuks
+371 26 851 664
arvids.godjuks@gmail.com
Telegram: @psihius https://t.me/psihius

--000000000000149af40635b36f2b
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div>Hello Internals!</div><div><br></div><div>My friend G=
rigory has cooked up an exciting package implementing generics with full ru=
ntime type checking in userland.=C2=A0</div><div>I honestly believe it can =
be surpassed only by doing a full native implementation (which we know is f=
airly unfeasible from Nikita&#39;s previous research), it&#39;s transparent=
 to the PHP code (if disabled, the code will still run just fine), is prett=
y light performance impact wise and requires zero pre and post processing (=
aka &quot;compiling&quot;) of the code. It&#39;s as transparent for the dev=
elopers as possible.</div><div><br></div><div><a href=3D"https://packagist.=
org/packages/grikdotnet/generics">https://packagist.org/packages/grikdotnet=
/generics</a></div><div><a href=3D"https://github.com/grikdotnet/generics">=
https://github.com/grikdotnet/generics</a></div><div><br></div><div>List on=
 what&#39;s implemented and what is possible:=C2=A0<a href=3D"https://githu=
b.com/grikdotnet/generics/blob/master/documentation/story.md#implemented">h=
ttps://github.com/grikdotnet/generics/blob/master/documentation/story.md#im=
plemented</a></div><div>The documentation folder contains quite a bit of in=
formation :)</div><div><br></div><div>I&#39;m posting this to internals for=
 the following reasons:</div><div><ul><li>* Seeking advice and know-how on =
how to improve performance</li><li>* Ideas on making the syntax better</li>=
<li>* Explore the possibility of making changes to the PHP engine=C2=A0</li=
><ul><li>Improve performance</li><li>Support extended syntax in the attribu=
tes like=C2=A0#[\Generics\T(Collection&lt;int&gt;&lt;float&gt;)] so it does=
n&#39;t have to be a string that needs to be parsed as it&#39;s now</li><li=
>Return type attributes?</li><li>How about having a built in generics empow=
ering attribute that userland libraries can take advantage off and do imple=
mentations?</li></ul><li>Having an extended discussion of the feature and w=
here it can be taken going forward</li><li>Seeking help with implementing m=
issing features, code review, etc</li></ul><div>Grigory has signed up to th=
e list, so you can direct all the questions in the thread to him :)</div></=
div><div><br></div>Sincerely,<div dir=3D"ltr" class=3D"gmail_signature" dat=
a-smartmail=3D"gmail_signature"><div dir=3D"ltr">Arv=C4=ABds Godjuks<div>+3=
71 26 851 664</div><div><a href=3D"mailto:arvids.godjuks@gmail.com" target=
=3D"_blank">arvids.godjuks@gmail.com</a></div><div>Telegram: @psihius=C2=A0=
<a href=3D"https://t.me/psihius" target=3D"_blank">https://t.me/psihius</a>=
</div></div></div></div>

--000000000000149af40635b36f2b--