Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:123905
Content-Type: multipart/alternative;
	boundary="Apple-Mail=_C82D5D5A-6160-4E85-AE7E-D23E93EB189C"
Precedence: bulk
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3774.600.62\))
Subject: Re: [PHP-DEV] [Initial Feedback] Typed Arrays
Date: Wed, 26 Jun 2024 17:30:03 -0600
References: <6D0733B2-A1D1-45EC-B93E-029B1616A22F@miles.systems>
 <682DAE9D-7C53-4C2B-9ECF-9B8358DF0AA1@php.net>
 <D49DD624-46EC-402E-BD63-053243BDBDBD@miles.systems>
To: php internals <internals@lists.php.net>
In-Reply-To: <D49DD624-46EC-402E-BD63-053243BDBDBD@miles.systems>
Message-ID: <69CBCE02-0A07-4B9B-80B4-E2A1311E2642@miles.systems>
From: richard@miles.systems (Richard Miles)


--Apple-Mail=_C82D5D5A-6160-4E85-AE7E-D23E93EB189C
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
	charset=utf-8

I suppose you don't actually need the `is` op; you can use the =
implements &| extends keywords :)

Best,
Richard Miles


> On Jun 26, 2024, at 5:26=E2=80=AFPM, Richard Miles =
<richard@miles.systems> wrote:
>=20
>> We've done some initial work related to this as part of PHP =
Foundation work:
>> =
<https://github.com/derickr/php-src/tree/collections/Zend/tests/collection=
>
>=20
> After reviewing the PR I don't think this accurately captures what =
we're attempting to do/discuss.=20
> Are there other branches you could share? You=E2=80=99ve posed a lot =
of new syntax. I have questions.
>=20
> collection(Dict) Articles<string =3D> Article> {}
>=20
> The code above is limiting compared to the posed syntax in this =
thread. Since your just working on providing a specific datatype with a =
custom syntax. What am I supposed to be able todo inside the {}? Why =
not?=20
>=20
> collection(Dict<Article>) Articles {}
>=20
> or just=20
>=20
> Dict<Article> Articles {}
> Seq<Article> Articles {}
>=20
> and then there's the completely new syntax? Am I supposed to be able =
to add methods in this block?
>=20
> class Articles extends Dict<Article> {}
>=20
> If I'm not then it should read more like the following:
>=20
> $a =3D (Dict<Article>) [];
>=20
> ____________________________________________________________
>=20
> But this all feels off-topic. Because, we need to get Typed Array =
syntax!=20
>=20
>=20
> interface iArrayA ['a' =3D> string ]
> interface iArrayB implements iArrayA ['b' =3D> string, 'c' =3D> =
?string ]
>=20
>=20
> $array =3D iArrayA [
> 	=E2=80=98a=E2=80=99 =3D> =E2=80=98hello'
> ];
> // reads the same as a typecast
> $array =3D (iArrayA &| iArrayB) [
> 	=E2=80=98a=E2=80=99 =3D> =E2=80=98hello'
> ];
>=20
> // It=E2=80=99s essentially like a typecast, which should probably be =
allowed. If the set of possible values needs to increase, a typecast =
would do it.=20
>=20
> class A {
>  public iArrayB $array =3D [=20
> 		=E2=80=98a=E2=80=99 =3D> =E2=80=98hello=E2=80=99,
> 		=E2=80=98b=E2=80=99 =3D> =E2=80=98world'
> 	];=20
> }
>=20
> If generics and the is operator get passed then one could in theory =
do.
>=20
> class A <T is iArrayA>{
>        public T $array =3D [=20
> 		=E2=80=98a=E2=80=99 =3D> =E2=80=98hello=E2=80=99
> 	];=20
> }
>=20
> $a =3D new A<iArrayB>;
>=20
>=20
> Best,
> Richard Miles


--Apple-Mail=_C82D5D5A-6160-4E85-AE7E-D23E93EB189C
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html;
	charset=utf-8

<html><head><meta http-equiv=3D"content-type" content=3D"text/html; =
charset=3Dutf-8"></head><body style=3D"overflow-wrap: break-word; =
-webkit-nbsp-mode: space; line-break: after-white-space;">I suppose you =
don't actually need the `is` op; you can use the implements &amp;| =
extends keywords :)<div><br id=3D"lineBreakAtBeginningOfMessage"><div>
<div dir=3D"auto" style=3D"font-family: Helvetica; font-size: 12px; =
font-style: normal; font-variant-caps: normal; font-weight: 400; =
letter-spacing: normal; orphans: auto; text-align: start; text-indent: =
0px; text-transform: none; white-space: normal; widows: auto; =
word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: =
none; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); overflow-wrap: =
break-word; -webkit-nbsp-mode: space; line-break: =
after-white-space;"><div>Best,</div><div>Richard Miles</div></div><br>
</div>
<div><br><blockquote type=3D"cite"><div>On Jun 26, 2024, at 5:26=E2=80=AFP=
M, Richard Miles &lt;richard@miles.systems&gt; wrote:</div><br =
class=3D"Apple-interchange-newline"><div><div><blockquote =
type=3D"cite">We've done some initial work related to this as part of =
PHP Foundation =
work:<br>&lt;https://github.com/derickr/php-src/tree/collections/Zend/test=
s/collection&gt;<br></blockquote><br>After reviewing the PR I don't =
think this accurately captures what we're attempting to do/discuss. =
<br>Are there other branches you could share? You=E2=80=99ve posed a lot =
of new syntax. I have questions.<br><br>collection(Dict) =
Articles&lt;string =3D&gt; Article&gt; {}<br><br>The code above is =
limiting compared to the posed syntax in this thread. Since your just =
working on providing a specific datatype with a custom syntax. What am I =
supposed to be able todo inside the {}? Why not? =
<br><br>collection(Dict&lt;Article&gt;) Articles {}<br><br>or just =
<br><br>Dict&lt;Article&gt; Articles {}<br>Seq&lt;Article&gt; Articles =
{}<br><br>and then there's the completely new syntax? Am I supposed to =
be able to add methods in this block?<br><br>class Articles extends =
Dict&lt;Article&gt; {}<br><br>If I'm not then it should read more like =
the following:<br><br>$a =3D (Dict&lt;Article&gt;) =
[];<br><br>____________________________________________________________<br=
><br>But this all feels off-topic. Because, we need to get Typed Array =
syntax! <br><br><br>interface iArrayA ['a' =3D&gt; string ]<br>interface =
iArrayB implements iArrayA ['b' =3D&gt; string, 'c' =3D&gt; ?string =
]<br><br><br> $array =3D iArrayA [<br><span class=3D"Apple-tab-span" =
style=3D"white-space:pre">	</span>=E2=80=98a=E2=80=99 =3D&gt; =
=E2=80=98hello'<br>];<br>// reads the same as a typecast<br> $array =3D =
(iArrayA &amp;| iArrayB) [<br><span class=3D"Apple-tab-span" =
style=3D"white-space:pre">	</span>=E2=80=98a=E2=80=99 =3D&gt; =
=E2=80=98hello'<br>];<br><br>// It=E2=80=99s essentially like a =
typecast, which should probably be allowed. If the set of possible =
values needs to increase, a typecast would do it. <br><br>class A {<br> =
&nbsp;public iArrayB $array =3D [ <br><span class=3D"Apple-tab-span" =
style=3D"white-space:pre">	</span><span class=3D"Apple-tab-span" =
style=3D"white-space:pre">	</span>=E2=80=98a=E2=80=99 =3D&gt; =
=E2=80=98hello=E2=80=99,<br><span class=3D"Apple-tab-span" =
style=3D"white-space:pre">	</span><span class=3D"Apple-tab-span" =
style=3D"white-space:pre">	</span>=E2=80=98b=E2=80=99 =3D&gt; =
=E2=80=98world'<br><span class=3D"Apple-tab-span" =
style=3D"white-space:pre">	</span>]; <br>}<br><br>If generics and =
the is operator get passed then one could in theory do.<br><br>class A =
&lt;T is iArrayA&gt;{<br> =
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;public T $array =3D [ =
<br><span class=3D"Apple-tab-span" style=3D"white-space:pre">	=
</span><span class=3D"Apple-tab-span" style=3D"white-space:pre">	=
</span>=E2=80=98a=E2=80=99 =3D&gt; =E2=80=98hello=E2=80=99<br><span =
class=3D"Apple-tab-span" style=3D"white-space:pre">	</span>]; =
<br>}<br><br>$a =3D new A&lt;iArrayB&gt;;<br><br><br>Best,<br>Richard =
Miles</div></div></blockquote></div><br></div></body></html>=

--Apple-Mail=_C82D5D5A-6160-4E85-AE7E-D23E93EB189C--