Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:123904
Content-Type: text/plain;
	charset=utf-8
Content-Transfer-Encoding: quoted-printable
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:26:03 -0600
References: <6D0733B2-A1D1-45EC-B93E-029B1616A22F@miles.systems>
 <682DAE9D-7C53-4C2B-9ECF-9B8358DF0AA1@php.net>
To: php internals <internals@lists.php.net>
In-Reply-To: <682DAE9D-7C53-4C2B-9ECF-9B8358DF0AA1@php.net>
Message-ID: <D49DD624-46EC-402E-BD63-053243BDBDBD@miles.systems>
From: richard@miles.systems (Richard Miles)

> 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=
>

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.

collection(Dict) Articles<string =3D> Article> {}

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

collection(Dict<Article>) Articles {}

or just=20

Dict<Article> Articles {}
Seq<Article> Articles {}

and then there's the completely new syntax? Am I supposed to be able to =
add methods in this block?

class Articles extends Dict<Article> {}

If I'm not then it should read more like the following:

$a =3D (Dict<Article>) [];

____________________________________________________________

But this all feels off-topic. Because, we need to get Typed Array =
syntax!=20


interface iArrayA ['a' =3D> string ]
interface iArrayB implements iArrayA ['b' =3D> string, 'c' =3D> ?string =
]


 $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'
];

// 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

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
}

If generics and the is operator get passed then one could in theory do.

class A <T is iArrayA>{
        public T $array =3D [=20
		=E2=80=98a=E2=80=99 =3D> =E2=80=98hello=E2=80=99
	];=20
}

$a =3D new A<iArrayB>;


Best,
Richard Miles=