Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:109677
MIME-Version: 1.0
References: <2b8e5da5-2f21-57a2-7e7d-243c686cc69d@web.de>
In-Reply-To: <2b8e5da5-2f21-57a2-7e7d-243c686cc69d@web.de>
Date: Thu, 16 Apr 2020 12:29:40 +0200
Message-ID: <CABdc3WqwFvjoBhaBHvnpHPJ8=Fv6U56TcKutD=2dn60y9PX=Xw@mail.gmail.com>
To: Enno Woortmann <enno.woortmann@web.de>
Cc: PHP Internals List <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000c2b11005a365e97f"
Subject: Re: [PHP-DEV] Type hints in array destructuring expressions
From: michal.brzuchalski@gmail.com (=?UTF-8?Q?Micha=C5=82_Brzuchalski?=)

--000000000000c2b11005a365e97f
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Hi Enno,

czw., 16 kwi 2020 o 12:20 Enno Woortmann <enno.woortmann@web.de> napisa=C5=
=82(a):

> Hi together,
>
> as the voting for the "Type casting in array destructuring expressions"
> shows a clear direction to be declined (sad faces on my side, I really
> would've liked it as a feature completion of the casting feature set
> without the need for a really new syntax, as the parser also already
> coverred it, but ok, time to continue :D ), combined with a strong
> interest for the topic "type checks in array destructuring expressions"
> (as well in the discussion as in the vote) I've set up a first draft of
> an RFC covering this topic:
>
> https://wiki.php.net/rfc/typehint_array_desctructuring
>
> The discussion around the casting in array destructuring brought up the
> idea to perform regular type checks in array destructuring expressions.
> This RFC proposes a new syntax to type hint a variable inside an array
> destructuring expression:
>
> $data =3D [42, 'Example', 2002];
> [int $id, string $data, int $year] =3D $data;
>
>
I fear that if you go that path people would automatically expect it to be
possible to write:

int $id =3D $data['id'];
int $id =3D getIdFromData($data);

And then expect the $id to behave more like typed property with type guard.
At least this is me what would expect from putting a type in from of
variable name
like in array destructuring example.

Why? Cause it has a type constraint in from of variable name just like
typed properties have.

Cheers,
Micha=C5=82 Brzuchalski

--000000000000c2b11005a365e97f--