Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:118863
Message-ID: <261fb40e-c60d-8ba5-dd3c-36d381c449ad@gmx.de>
Date: Thu, 20 Oct 2022 19:23:30 +0200
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
 Thunderbird/102.3.3
To: Rowan Tommins <rowan.collins@gmail.com>,
 David Rodrigues <david.proweb@gmail.com>
Cc: internals@lists.php.net
References: <CAEsg9X1RnphjPQ++krRB-9nBmWTGJ6MGwQJyA=S0UxHzv7Bq-A@mail.gmail.com>
 <CADyq6sLrMaWk1JfA1U0QRBv_FzJVPy4UZAd+XyzJ4vGM3msWGQ@mail.gmail.com>
 <CAEsg9X3K868c9-sp8UtbNZi6A2OhBfnK=HnF95ZZwdW+5hwLqA@mail.gmail.com>
 <CABdc3WoroWF2MKJAyG1abyaiRpvh1E2Tn0BwnmB=cZoeGf+P7A@mail.gmail.com>
 <CD7B2BC2-BF8C-461B-9873-62C24B688952@gmail.com>
 <d5a28e0c-35a2-e7c6-b428-396581772b00@gmail.com>
 <CAEsg9X1Ve=uFOg7W2SdakMM30XnTFOg6tXj2_DcgkHmgdW0DCw@mail.gmail.com>
 <d625145c-0841-bced-5660-111f2baeeb53@gmail.com>
In-Reply-To: <d625145c-0841-bced-5660-111f2baeeb53@gmail.com>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Subject: Re: [PHP-DEV] Compact can't resolve outer scoped variables usingshort
 closures
From: cmbecker69@gmx.de ("Christoph M. Becker")

On 20.10.2022 at 19:03, Rowan Tommins wrote:

> On 20/10/2022 17:48, David Rodrigues wrote:
>
>> Regarding this, in case you're literally saying that internally "fn()"
>> turns into a common "function", and getting back to the main topic,
>> would it be possible to do the same with compact()?
>>
>> fn() =3D> compact('dummy')
>> turns into:
>> fn() =3D> [ 'dummy' =3D> $dummy ]
>> which turns into:
>> function() use($dummy) { return [ 'dummy' =3D> $dummy ]; }
>
> Yes, that is what I meant by "it would be possible for the compiler to
> special-case this scenario";

Well, in the general case, the compiler cannot special-case this,
because compact() is a normal function, so might be used as "variable
function", or may not refer to the top-level compact() at all (the
called symbol may not be fully qualified).

> I explained why I think that would be a bad
> idea, and suggested an alternative.

ACK

=2D-
Christoph M. Becker