Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:114464
MIME-Version: 1.0
References: <f3d20496-c560-42b7-9a0d-8672b3cafa7d@www.fastmail.com>
 <df6d13a3-dfe6-44f4-a9eb-0fd065faf767@www.fastmail.com> <4340a481-e4a3-4805-8dfc-df3c037d6cdf@www.fastmail.com>
In-Reply-To: <4340a481-e4a3-4805-8dfc-df3c037d6cdf@www.fastmail.com>
Date: Thu, 13 May 2021 19:26:14 +0200
Message-ID: <CAOWwgpmMq2avG3QB15eOpj=+JNMTKczzWN5vDPRGgW4KzJ=qXg@mail.gmail.com>
To: Larry Garfield <larry@garfieldtech.com>
Cc: php internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="0000000000005206f805c2396d12"
Subject: Re: [PHP-DEV] [RFC] Partial function application
From: nicolas.grekas+php@gmail.com (Nicolas Grekas)

--0000000000005206f805c2396d12
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Le jeu. 13 mai 2021 =C3=A0 19:00, Larry Garfield <larry@garfieldtech.com> a
=C3=A9crit :

> On Tue, May 11, 2021, at 10:38 AM, Larry Garfield wrote:
> > On Sun, Apr 25, 2021, at 2:25 PM, Larry Garfield wrote:
> > > Greetings, Internalians!
> > >
> > > I would like to offer for your consideration another RFC, specificall=
y
> > > syntax for partial function application.
> > >
> > > https://wiki.php.net/rfc/partial_function_application
> > >
> > > It includes an implementation by Joe Watkins that is already about 95=
%
> > > complete.  (There's some edge cases he's still sorting out, but all o=
f
> > > the typical cases should work already.)  Most of the design work come=
s
> > > from Levi Morrison and Paul Crovella.  I helped out with the tests, a
> > > few edge bits, and general instigator/nudge. :-)
> > >
> > > Discuss.
> >
> > It looks like the conversation has died down, and it's been two weeks,
> > so pending any other notable feedback I'll open a vote on this RFC on
> > Thursday or Friday.
>
> Naturally there was more conversation. :-)  But good conversation, so the
> RFC has been updated again.  I recommend everyone look it over another ti=
me.
>
> Highlights:
>
> * Joe was able to figure out how to fold the extra partial logic into the
> Closure object.  So the Partial and ReflectionPartial classes are gone;
> partial application gives you a closure object that looks like any other,
> but still manages to optimize away repeated partial application.
>
> * Some descriptions were improved.
>
> * Constructors already worked, with some caveats.  Joe managed to remove
> those caveats, so they now work as you would expect them to.  (See the RF=
C
> section for details.)
>
> * I included some references to other languages and how they handle
> partial application.  Short version: This is the most robust and most ful=
ly
> featured version of any language I could find.  Rock on, PHP! :-)
>
> * Nicolas, I went ahead and made a test for
> partial-application-DI-autowiring, just to see what it would look like.  =
It
> looks like this:
>
>
> https://github.com/php/php-src/pull/6898/files#diff-218bb085c4cf4a35da35a=
a2d7a5cabd77f053d6f975340c2ef10de6f30dee503
>
> Whether that's actually useful or not I don't know, but there it is. :-)
>
> Since there were some substantive changes, we're pushing the vote start
> off until the first half of next week, Monday/Tuesday timeframe.
>

That's pretty damned cool, frankly.

Thanks to everybody involved, I can't wait!

Nicolas

>

--0000000000005206f805c2396d12--