Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:114501
Message-ID: <5B96C4C4-A324-4EF8-8196-83480E897884@newclarity.net>
Content-Type: multipart/alternative;
	boundary="Apple-Mail=_D0A00182-9156-4346-A3FE-8B28593D1C4B"
Mime-Version: 1.0 (Mac OS X Mail 13.4 \(3608.120.23.2.6\))
Date: Mon, 17 May 2021 11:16:43 -0400
In-Reply-To: <CAC5V6gjDfqxBPYF_ejVTboPOGV9rg0ArAqOGGO3mPG6nqEPevw@mail.gmail.com>
Cc: php internals <internals@lists.php.net>
To: Guilliam Xavier <guilliam.xavier@gmail.com>
References: <f3d20496-c560-42b7-9a0d-8672b3cafa7d@www.fastmail.com>
 <1565EB81-57B7-49B0-A47C-342E0088A432@trowski.com>
 <CAN2symhHys1uADWnOfraEA3SiM8_57=JttWhgOJ0Kh7nwt4R+g@mail.gmail.com>
 <CAEMvS4FbtPqdeySsVWm=Gub1BNiv+OCiB2oGL-+aZvBH7hmisA@mail.gmail.com>
 <CAEMvS4F+AbxPJQ5ctLONptECvmkdrzT42oU4rDOjtD2dC_jEJw@mail.gmail.com>
 <09B663C3-E21D-432B-BB7F-78312F827C30@newclarity.net>
 <CAC5V6gjDfqxBPYF_ejVTboPOGV9rg0ArAqOGGO3mPG6nqEPevw@mail.gmail.com>
Subject: Re: [PHP-DEV] [RFC] Partial function application
From: mike@newclarity.net (Mike Schinkel)

--Apple-Mail=_D0A00182-9156-4346-A3FE-8B28593D1C4B
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
	charset=us-ascii



> On May 17, 2021, at 10:50 AM, Guilliam Xavier =
<guilliam.xavier@gmail.com> wrote:
>=20
>=20
>=20
> On Mon, May 17, 2021 at 6:58 AM Mike Schinkel <mike@newclarity.net =
<mailto:mike@newclarity.net>> wrote:
> >=20
> > Well, I was thinking that by changing the proposed syntax we could =
achieve
> > what is proposed and a little bit more.
> > Also we wouldn't need to worry about the number of ? needed as =
arguments.
> > Since all we need is to mark the return type as partial (closure) on =
the
> > fly and grab hold of what is passed as arguments.
> >=20
> > There are some different syntaxes that come to my mind:
> > We could still use ? but outside of the arguments list?
> > ```
> > $partial =3D xyx?(..);
> > $partial =3D ?xyx(..);
> > ```
> > or maybe different symbols:
> > ```
> > $partial =3D :xyz(..);
> > ```
> >=20
> > We might be able to even cast the return type:
> > ```
> > $partial =3D (?) xyz(..);
> > $partial =3D (partial) xyz(..);
> > $partial =3D (fn) xyz(..);
> > ```
>=20
> Casting is another interesting approach that does feel more consistent =
with the existing language. =20
>=20
> Since it *is* creating a closure, wouldn't this make the most sense?
>=20
> $partial =3D (closure) abc();
>=20
> Ouch! definitely NOT!
> =20
> $partial =3D (closure) xyz(?,24);


Mind if I ask for you to elaborate on your aversion?  =20

Asking for general understanding, not to debate the point.

-Mike=

--Apple-Mail=_D0A00182-9156-4346-A3FE-8B28593D1C4B--