Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:124113
Precedence: bulk
MIME-Version: 1.0
References: <be7bc3e2-ce2b-422f-9f3a-743829f1e1be@scriptfusion.com>
 <A8ECC81C-99C7-47FB-B0C0-C2166F1AA43E@miles.systems> <CAAGC1Ov8LniFwvB+Bs93hEv1wSXZ9xJ3SJDpYYzzTcEW2Yt-TQ@mail.gmail.com>
 <CAAKU0u=w12chvWGsbCyuiXp14RcQ0boDd7i7MmeooWCOd9Cn+g@mail.gmail.com> <4ECBB519-B129-426F-93AE-33738A1ABA06@miles.systems>
In-Reply-To: <4ECBB519-B129-426F-93AE-33738A1ABA06@miles.systems>
Date: Sun, 30 Jun 2024 18:13:12 +0200
Message-ID: <CABdc3Wqzt+S2xL-=dVH1Ae0oQLR5jAMaBEex5NemKPb9rBx9MQ@mail.gmail.com>
Subject: Re: [PHP-DEV] [Initial Feedback] Typed Arrays
To: Richard Miles <richard@miles.systems>
Cc: php internals <internals@lists.php.net>, Derick Rethans <derick@php.net>, 
	Levi Morrison <levi.morrison@datadoghq.com>
Content-Type: multipart/alternative; boundary="0000000000006b201c061c1dc258"
From: michal.brzuchalski@gmail.com (=?UTF-8?Q?Micha=C5=82_Marcin_Brzuchalski?=)

--0000000000006b201c061c1dc258
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Hi Richard,

czw., 27 cze 2024, 22:33 u=C5=BCytkownik Richard Miles <richard@miles.syste=
ms>
napisa=C5=82:

>
> > I worked with Joe Watkins to do a proof-of-concept for generic traits.
> > It's a bit old since it's from 2017, but could be a useful starting
> > point if you are serious about pursuing this idea:
> >
> >
> https://github.com/php/php-src/compare/master...morrisonlevi:php-src:para=
meterized_traits
>
>
> I=E2=80=99m also interested in this; it will help see branches like these=
.
> Did you ever get the POC working? What did you feel like was the biggest
> hurdle?
>

There even was an RFC in voting which Joe implemented and it addresses
nearly what is discussed it this thread https://wiki.php.net/rfc/arrayof

I must admit that the collection<Dict> proposal is bit too complex to
address such tiny but powerfully in my opinion functionality which is typed
array. What Derick showed looks more like generic collection and such
require declaring it's type. In my opinion this is way too mush hassle to
declare as many collection types as many usages in application. Also two
collection types with the same collection item type will not be compatible
from type perspective. While typed array seems much more clear and
compatible in all places where typed array is needed without declaring
separate type for each usage.

If I were to choose between typed-array and collection like Derick showed a
little bit I'd choose typed arrays definitely as a first feature to be
merged into PHP.

Cheers,
Micha=C5=82 Marcin Brzuchalski

>

--0000000000006b201c061c1dc258
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"auto">Hi Richard,<br><br><div class=3D"gmail_quote" dir=3D"auto=
"><div dir=3D"ltr" class=3D"gmail_attr">czw., 27 cze 2024, 22:33 u=C5=BCytk=
ownik Richard Miles &lt;richard@miles.systems&gt; napisa=C5=82:<br></div><b=
lockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px =
#ccc solid;padding-left:1ex"><br>
&gt; I worked with Joe Watkins to do a proof-of-concept for generic traits.=
<br>
&gt; It&#39;s a bit old since it&#39;s from 2017, but could be a useful sta=
rting<br>
&gt; point if you are serious about pursuing this idea:<br>
&gt; <br>
&gt; <a href=3D"https://github.com/php/php-src/compare/master...morrisonlev=
i:php-src:parameterized_traits" rel=3D"noreferrer noreferrer" target=3D"_bl=
ank">https://github.com/php/php-src/compare/master...morrisonlevi:php-src:p=
arameterized_traits</a><br>
<br>
<br>
I=E2=80=99m also interested in this; it will help see branches like these.<=
br>
Did you ever get the POC working? What did you feel like was the biggest hu=
rdle?<br></blockquote></div><div dir=3D"auto"><br></div><div dir=3D"auto">T=
here even was an RFC in voting which Joe implemented and it addresses nearl=
y what is discussed it this thread=C2=A0<a href=3D"https://wiki.php.net/rfc=
/arrayof">https://wiki.php.net/rfc/arrayof</a></div><div dir=3D"auto"><br><=
/div><div dir=3D"auto">I must admit that the collection&lt;Dict&gt; proposa=
l is bit too complex to address such tiny but powerfully in my opinion func=
tionality which is typed array. What Derick showed looks more like generic =
collection and such require declaring it&#39;s type. In my opinion this is =
way too mush hassle to declare as many collection types as many usages in a=
pplication. Also two collection types with the same collection item type wi=
ll not be compatible from type perspective. While typed array seems much mo=
re clear and compatible in all places where typed array is needed without d=
eclaring separate type for each usage.</div><div dir=3D"auto"><br></div><di=
v dir=3D"auto">If I were to choose between typed-array and collection like =
Derick showed a little bit I&#39;d choose typed arrays definitely as a firs=
t feature to be merged into PHP.</div><div dir=3D"auto"><br></div><div dir=
=3D"auto">Cheers,</div><div dir=3D"auto">Micha=C5=82 Marcin Brzuchalski=C2=
=A0</div><div class=3D"gmail_quote" dir=3D"auto"><blockquote class=3D"gmail=
_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:=
1ex"></blockquote></div></div>

--0000000000006b201c061c1dc258--