Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:126530
Content-Type: text/plain;
	charset=us-ascii
Precedence: bulk
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3826.400.131.1.6\))
Subject: Re: [PHP-DEV] Vibe check: array shapes
In-Reply-To: <CANNiG7goUN0Unk_afaEHOOCTuVdYh1N94Z3ZTXHsOxFNkP8qag@mail.gmail.com>
Date: Sat, 1 Mar 2025 00:21:31 +0100
Cc: PHP Internals <internals@lists.php.net>
Content-Transfer-Encoding: quoted-printable
Message-ID: <0D11EDD0-C756-4276-8528-DB6E41EA9D3A@garsi.de>
References: <81F87FFD-91EF-4FDF-A929-9BE1CA08AA1E@garsi.de>
 <CANNiG7goUN0Unk_afaEHOOCTuVdYh1N94Z3ZTXHsOxFNkP8qag@mail.gmail.com>
To: Bilge <bilge@scriptfusion.com>
From: alwin@garsi.de (Alwin Garside)


> On 28 Feb 2025, at 23:57, Bilge <bilge@scriptfusion.com> wrote:
>=20
> Generics=20

Yes, I am aware that generics are being worked on. However, generics =
wouldn't provide structural interfaces for arrays. At most it would =
provide a way to infer/define generic types for array keys and/or =
values.

I guess I should've provided a code example straight away. Here's what I =
have in mind:

```php
declare(strict_types=3D1);

shape MyArray {
    "id": int;
    "name": string;
}

function doArrayStuff(MyArray $array) { ... }

doArrayStuff(['id' =3D> 1,   'name' =3D> 'Alwin']); // Works, array =
conforms to shape
doArrayStuff(['id' =3D> '1', 'name' =3D> 'Alwin']); // Fails, 'id' =
should be int
```

The best that Generics would be able to offer for arrays is:

```php
function doArrayStuff(array<string, int|string> $array) { ... }

doArrayStuff(['id' =3D> 1,   'name' =3D> 'Alwin']); // Works
doArrayStuff(['id' =3D> '1', 'name' =3D> 'Alwin']); // Works
```

Alwin=